tgduckworth

Pinned Repositories

angr
A powerful and user-friendly binary analysis platform!
Language:Python7.5k 186 1.9k1.1k
Aos-Mutual-Exclusion
Language:Java00
angr
A powerful and user-friendly binary analysis platform!
Language:Python00
FeatherEvaluator
A WIP, provably-correct implementation of an expression evaluator for Featherweight Java without casts.
Language:Coq10
sw-testing-project
Language:Java0 2 00

tgduckworth's Repositories

tgduckworth/FeatherEvaluator
A WIP, provably-correct implementation of an expression evaluator for Featherweight Java without casts.
Language:Coq10
tgduckworth/angr
A powerful and user-friendly binary analysis platform!
Language:Python00