Awesome Open Source

Programming Languages

Search results for static analysis symbolic execution

static-analysis x

symbolic-execution x

13 search results found

Binary Analysis Platform

Crosshair ⭐ 924

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

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

Formulog ⭐ 137

Datalog with support for SMT queries and first-order functional programming

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.

Utbotcpp ⭐ 105

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

Static analysis & deobfuscation framework for x86/x64

APISan: Sanitizing API Usages through Semantic Cross-Checking

Sixtypical ⭐ 31

MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis

gradient-based symbolic execution engine implemented from scratch

Recovering Object information from a C++ compiled Binary/Malware (mainly written for PE files) , linked dynamically and completely Stripped.

LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.

Related Searches

Python Static Analysis (235)

Security Static Analysis (104)

C Plus Plus Static Analysis (82)

Python Symbolic Execution (75)

1-13 of 13 search results

Privacy | About | Terms | Follow Us On Twitter

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