GitHub / trailofbits 4 projects

Trail of Bits

More code: binary lifters @lifting-bits, blockchain @crytic, forks @trail-of-forks

Updated 10 months ago

Symbolic execution tool

binary-analysis blockchain emulation ethereum program-analysis python security smt symbolic-execution testing z3

Updated 10 months ago

Publications from Trail of Bits

academic-papers conference-presentations security-reviews

Updated 10 months ago

A semantic diff utility and library for tree-like files such as JSON, JSON5, XML, HTML, YAML, and CSV.

command-line-tool diff graph-algorithms hacktoberfest hacktoberfest2021 library python utility

Updated 10 months ago

Code auditing productivity multiplier.

analysis audit clang mlir

ecosyste.ms