Autofacts
Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Binkit | 110 | 5 months ago | 2 | mit | Shell | |||||
| Binary Code Similarity Analysis (BCSA) Benchmark | ||||||||||
| Ck Env | 70 | 2 years ago | 27 | bsd-3-clause | Python | |||||
| CK repository with components and automation actions to enable portable workflows across diverse platforms including Linux, Windows, MacOS and Android. It includes software detection plugins and meta packages (code, data sets, models, scripts, etc) with the possibility of multiple versions to co-exist in a user or system environment. | ||||||||||
| Difftune | 14 | 2 years ago | 1 | LLVM | ||||||
| Autofacts | 13 | 5 years ago | bsd-2-clause | C++ | ||||||
| Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools | ||||||||||
Alternatives To AutofactsSelect To Compare
Alternative Project Comparisons
Popular Dataset Projects
Popular Llvm Projects
Popular Data Processing Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Plus Plus
Dataset
Llvm
Clang