add "extra" classifiers that use symbolic execution to resolve function/tail calls - Githubissues

GaloisInc / pate

Patches Assured up to Trace Equivalence

Other

15 stars 2 forks source link

add "extra" classifiers that use symbolic execution to resolve function/tail calls #372

Closed danmatichuk closed 5 months ago

danmatichuk commented 5 months ago

depends on #371