falconre / Falcon
Licence: apache-2.0
Binary Analysis Framework in Rust
Stars: ✭ 307
Programming Languages
rust
11053 projects
Projects that are alternatives of or similar to Falcon
Manticore
Symbolic execution tool
Stars: ✭ 2,599 (+746.58%)
Mutual labels: binary-analysis, program-analysis
binary-decompilation
Extracting high level semantic information from binary code
Stars: ✭ 55 (-82.08%)
Mutual labels: binary-analysis, program-analysis
instrumentation
Assorted pintools
Stars: ✭ 24 (-92.18%)
Mutual labels: binary-analysis, program-analysis
Triton
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.
Stars: ✭ 1,934 (+529.97%)
Mutual labels: binary-analysis, program-analysis
Bap
Binary Analysis Platform
Stars: ✭ 1,385 (+351.14%)
Mutual labels: binary-analysis, program-analysis
Cwe checker
cwe_checker finds vulnerable patterns in binary executables
Stars: ✭ 372 (+21.17%)
Mutual labels: binary-analysis, program-analysis
Detect It Easy
Program for determining types of files for Windows, Linux and MacOS.
Stars: ✭ 2,982 (+871.34%)
Mutual labels: binary-analysis, program-analysis
Binja4J
No description or website provided.
Stars: ✭ 14 (-95.44%)
Mutual labels: binary-analysis, program-analysis
Rel
Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.
Stars: ✭ 27 (-91.21%)
Mutual labels: binary-analysis
must-read
Lists of must-read papers (mainly security papers)
Stars: ✭ 13 (-95.77%)
Mutual labels: program-analysis
programanalysiscourse
COM S 413/513 and CPR E 513 Foundations and Applications of Program Analysis @ Iowa State University
Stars: ✭ 19 (-93.81%)
Mutual labels: program-analysis
blinky
Java Code Instrumenter and Execution Tracer
Stars: ✭ 16 (-94.79%)
Mutual labels: program-analysis
DrCCTProf
DrCCTProf is a fine-grained call path profiling framework for binaries running on ARM and X86 architectures.
Stars: ✭ 81 (-73.62%)
Mutual labels: binary-analysis
Linter
Static Analysis Compiler Plugin for Scala
Stars: ✭ 273 (-11.07%)
Mutual labels: program-analysis
Dynamic-Rabbits
No description or website provided.
Stars: ✭ 13 (-95.77%)
Mutual labels: binary-analysis
Welcome to Falcon
Falcon is a formal binary analysis framework in Rust.
- Expression-based IL with strong influences from RREIL and Binary Ninja's LLIL.
- Semantically-equivalent binary translators for 32/64-bit x86, Mips, and Mipsel.
- Lifters for ELF and PE via goblin.
- Fixed-point engine for data-flow analysis and abstract interpretation.
- Performant memory models for analysis.
- A concrete executor over Falcon IL.
Building
- Several scripts to get you up-and-running with Falcon can be found in the
scripts/
directory. - Dependencies are capstone and clang.
- Falcon works out of the box with capstone4.
Questions / Support
- There is an infrequently checked IRC channel at irc.freenode.net#rust-falcon.
- There is a more frequently checked Gitter.
- You can also find me in the Binary Ninja slack under the name "endeavor".
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].