Machiry
Assistant Professor @ Purdue ECE @machiry@infosec.exchange
@purs3lab @ucsb-seclabWest Lafayette, IN, USA
Pinned Repositories
Android
Popular Apks Downloader
AndroidGestureBreaker
Simple Utility to Decode Android Gesture Authentication
apt-scraper-utils
Utils to get debian packages
Bear
Build EAR
clakerbu
Tool to get kernel driver bitcode files.
llvm-tutor
A collection of LLVM passes (with tests and build scripts)
machiry.github.io
Personal webpage
OpenTrustZone
Implementation of Open Source TrustZone platform.
securechat
A broadcast based secure chat application.
understanding-clang-llvm
Repository for understanding and writing LLVM passes.
Machiry's Repositories
Machiry/understanding-clang-llvm
Repository for understanding and writing LLVM passes.
Machiry/Bear
Build EAR
Machiry/clakerbu
Tool to get kernel driver bitcode files.
Machiry/llvm-tutor
A collection of LLVM passes (with tests and build scripts)
Machiry/checkedc-llvm
This repo contains a version of the LLVM that is being modified to support Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.
Machiry/dg
[LLVM Static Slicer] Dependence graph for programs. Generic implementation of dependence graphs with instantiation for LLVM that contains a static slicer for LLVM bitcode
Machiry/llvmdocker
Docker images with different llvm versions and c2xml
Machiry/Awesome-CV
:page_facing_up: Awesome CV is LaTeX template for your outstanding job application
Machiry/builderbook
Open-source web app. Built with React, Material-UI, Next, Express, Mongoose, MongoDB.
Machiry/cquery
C/C++ language server supporting multi-million line code base, powered by libclang. Emacs, Vim, VSCode, and others with language server protocol support. Cross references, completion, diagnostics, semantic highlighting and more
Machiry/CS595N
Machiry/cwe_checker
cwe_checker finds vulnerable patterns in binary executables
Machiry/DebloatingTestSuite
A suite of built executables for use in testing and measuring debloating tools
Machiry/fuzzyc2cpg
A fuzzy parser for C/C++ that creates semantic code property graphs
Machiry/gitignore
A collection of useful .gitignore templates
Machiry/kconfig-hardened-check
A tool for checking the hardening options in the Linux kernel config
Machiry/latexcv
:necktie: A collection of cv and resume templates written in LaTeX. Leave an issue if your language is not supported!
Machiry/libdebugme
Automatically spawn gdb on error.
Machiry/LinuxFlaw
This repo records all the vulnerabilities of linux software I have reproduced in my local workspace
Machiry/Malware-Project
Machiry/plthook
Hook function calls by replacing PLT(Procedure Linkage Table) entries.
Machiry/Ponce
IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
Machiry/psiviewer
PSI Viewer for IntelliJ IDEA plugin development
Machiry/pysmt
pySMT: A library for SMT formulae manipulation and solving
Machiry/react-dnd
Drag and Drop for React
Machiry/slate
Slate is a Jekyll theme for GitHub Pages
Machiry/SVF-example
An external project example using SVF as a library
Machiry/TEE-reversing
A curated list of public TEE resources for learning how to reverse-engineer and achieve trusted code execution on ARM devices
Machiry/WebSVF
WebSVF : Interactive Online Code Analysis based on SVF
Machiry/x86-64-instruction-summary
Provides various information around an x86/64 instruction.