softwarelanguageslab / maf

Static Analysis Framework for Modular Analyses
Other
13 stars 12 forks source link

Benchmarking #36

Closed ArmanKolozyan closed 1 year ago

ArmanKolozyan commented 1 year ago

Wrote code to benchmark analyses with different worklist algorithms.