Large model-assisted paper review

A beautiful, simple, clean, and responsive Jekyll theme for academics

Towards Intelligent Automobile Cockpit via A New Container Architecture

GitHub Cloner & Compiler

VPDroid is a lightweight Android OS-level virtualization architecture

Dataset of packed PE samples

Android Application Identifier for Packers, Protectors, Obfuscators and Oddities - PEiD for Android

Public malware techniques used in the wild: Virtual Machine, Emulation, Debuggers, Sandbox detection.

Some C++ example code to demonstrate how to perform code similarity searches using SimHashing.

VPDroid is a lightweight Android OS-level virtualization architecture

Clang's scan-build re-implementation in python

Generate compile_commands.json for any C or C++ build

IDA 2016 plugin contest winner! Symbolic Execution just one-click away!

Machine Learning to Deobfuscate Binaries

A static devirtualizer for VMProtect x64 3.x. powered by VTIL.

Mobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework capable of performing static a…

The official home of the LibVMI project is at https://github.com/libvmi/libvmi.

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

The Magic Mask for Android

This project aims at simplifying Windows API import recovery on arbitrary memory dumps

IDA Pro script to add some useful runtime info to static analysis

Malware Configuration And Payload Extraction

Program synthesis based deobfuscation framework for the USENIX 2017 paper "Syntia: Synthesizing the Semantics of Obfuscated Code"

Reflective PE packer.

radare2-based decompiler and symbol executor

A tool for matching and diffing source codes directly against binaries.

x86-64 assembler library

A free, open-source Java library for automata learning algorithms