Tristan Duckworth's repositories
FeatherEvaluator
A WIP, provably-correct implementation of an expression evaluator for Featherweight Java without casts.
angr
A powerful and user-friendly binary analysis platform!
Language:PythonBSD-2-Clause000
A WIP, provably-correct implementation of an expression evaluator for Featherweight Java without casts.
A powerful and user-friendly binary analysis platform!