trailofbits / multiplier

Code auditing productivity multiplier.
Apache License 2.0
437 stars 27 forks source link

Create a single-threaded, "fast" mode for PASTA #538

Open pgoodman opened 6 months ago

pgoodman commented 6 months ago

Goals:

Possible approach:

Needed changes to multiplier: