315 Open source projects that are alternatives of or similar to angr-antievasion

Use angr in the IDA Pro debugger generating a state from the current debug session

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.

Reimplementation of famous old Dungeon Master game.

The 3D Public Transport Simulator is a Unity-based simulation, which uses OpenStreetMap data in order to support the simulation of worldwide locations. The development was part of a Bachelor thesis.

An open source interactive disassembler

📚 Estilo para BibLaTeX compatível com as normas da ABNT

Symbolic execution tool

📄 同济大学本科生毕业设计论文模板 | Tongji University Undergraduate Thesis Template | Overleaf / Mac / Linux / Windows / Workshop / Docker

A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.

nTiled - forward and deferred openGL renderer with support for Tiled Shading, Clustered Shading and Hashed Shading

My thesis on "Open Source Code and Low Resource Languages" for an MSc in Language Science and Technology at Saarland University

A unit test-like interface for fuzzing and symbolic execution

MIT Ph.D. Thesis in LaTeX

Use angr in Ghidra

Kernel-Mode Driver that loads a dll into every new created process that loads kernel32.dll module

SymGDB - symbolic execution plugin for gdb

A template for the thesis of CSU (Central South University).

Seeding fuzzers with symbolic execution

Various analysis of Android stalkerware

Binary Analysis Platform

A LaTeX template for humans.

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

My bachelor's thesis on the Entity-Component-System pattern and ECST

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

南开大学硕士毕业论文/博士论文模板 (Latex Template for Nankai University)

Pandoc LaTeX，Epub模板，用于生成书籍，幻灯片(beamer)，简历，论文等（cv, thesis, ebook,beamer)

An analysis tool for Python that blurs the line between testing and type systems.

The project uses state of the art deep learning on collected data for automatic analysis of emotions.

MSc thesis on: Classifying brain activity using EEG and automated time tracking of computer use (using ActivityWatch)

C# code for Transferring Backdoor Payloads by ARP Traffic and Bypassing Anti-viruses (Slow)

Environmental Sound Classification on Microcontrollers using Convolutional Neural Networks

A LaTeX template for writing thesis in NCTU.

Reverse engineering framework in Python

Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage

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

西安电子科技大学研究生学位论文XeLaTeX模板

Automatic verification of LLVM optimizations

A website that showcases interesting projects, using Angular JS.

Automatic ROPChain Generation

LaTeX templates for TJU graduate thesis. Originally forked from code.google.com/p/tjuthesis

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

Python based angr plug in for IDA Pro.

KLEE Symbolic Execution Engine

LyX template for USTC thesis

Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine

Jupyter notebooks used as supporting material for an msc thesis about personalised aesthetic assessment using residual adapters.

Simplify Ethereum security analysis and testing

📖 A thesis LaTeX template that complies with the University of Aveiro's guidelines and provides a simple CLI workflow around make and compatibility with Overleaf.

APISan: Sanitizing API Usages through Semantic Cross-Checking

Modular Tracking Framework

Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.

西安电子科技大学研究生学位论文开题报告表XeLaTeX模板

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

UC Berkeley thesis/dissertation LaTeX Template (ucbthesis) for R Markdown

西安电子科技大学本科生毕业论文（设计）开题报告LaTeX模板

Implementation of Crytek's Light Propagation Volumes algorithm in WebGL

Owlyshield is an EDR framework designed to safeguard vulnerable applications from potential exploitation (C&C, exfiltration and impact))..

My undergradate thesis on coinductive types in univalent type theory

武汉理工大学本科生毕业设计（论文） LaTeX 模板 LaTeX Template for Bachelor's Degree Thesis at Wuhan University of Technology (WHUT)

Controlling AI-driven Quadruped Character in Unity.