Popular repositories Loading

1. polytracker-llvm polytracker-llvm Public

   Forked from trailofbits/polytracker-llvm

   This is a fork of the LLVM compiler toolchain with modifications to allow PolyTracker to add universal taint propagation, data flow, and control flow analysis instrumentation to arbitrary programs.…

2. polytracker polytracker Public

   Forked from trailofbits/polytracker

   An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

   C

3. rust rust Public

   Forked from rust-lang/rust

   Empowering everyone to build reliable and efficient software.

   Rust

4. slither slither Public

   Forked from crytic/slither

   Static Analyzer for Solidity

   Python

5. advent-of-code advent-of-code Public