Awesome Open Source

Programming Languages

Search results for symbolic execution program analysis

program-analysis x

symbolic-execution x

19 search results found

Mythril ⭐ 3,716

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

Manticore ⭐ 3,535

Symbolic execution tool

Triton ⭐ 3,285

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

Binary Analysis Platform

Symbolic Execution ⭐ 412

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

Vmprotect Devirtualization ⭐ 244

Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.

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.

PASTIS: Collaborative Fuzzing Framework

MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.

Symbolic Execution Engine based on Ghidra's PCode

Static analysis & deobfuscation framework for x86/x64

A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis

Binary Decompilation ⭐ 37

Extracting high level semantic information from binary code

Program Analysis for LLVM

gradient-based symbolic execution engine implemented from scratch

Programanalysiscourse ⭐ 24

COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University

Surveyor ⭐ 13

A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs

WebAssembly Symbolic Processor (WASP) a symbolic execution engine for testing and validating Wasm modules.

Universal Symbolic Virtual Machine

Related Searches

Python Symbolic Execution (75)

1-19 of 19 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.