-
Andre Maroneze authoredAndre Maroneze authored
summary.md 6.35 KiB
| Directory | Description | URL | #Eva targets | #.c/.h files | #LoC | Tags |
|---|---|---|---|---|---|---|
| 2048 | Console version of the game 2048 | https://github.com/mevdschee/2048.c | 1 | 1 | 367 | NO_DYN_ALLOC, NO_RECURSION, NO_FLOAT |
| basic-cwe-examples | Small test cases based on "buggy" CWE demonstrative examples | https://cwe.mitre.org/data/ | 17 | 10 | 309 | HAS_DYN_ALLOC, NO_RECURSION, NO_FLOAT |
| bench-moerman2018 | Test suite used to evaluate static analysis tools | https://github.com/JMoerman/JM2018TS/ | 400 | 433 | 18532 | HAS_DYN_ALLOC, UNUSED_RECURSION, NO_FLOAT |
| c-testsuite | Part of a collaborative database of compiler test cases | https://github.com/c-testsuite/c-testsuite | 215 | 220 | 4959 | HAS_DYN_ALLOC, HAS_RECURSION, HAS_FLOAT |
| c-utils | c-utils is a collection of utility libraries. | https://github.com/barrust/c-utils | 13 | 43 | 6392 | HAS_DYN_ALLOC, HAS_RECURSION, HAS_FLOAT |
| cerberus | Test suite related to the Cerberus project | https://www.cl.cam.ac.uk/~pes20/cerberus/ | 192 | 191 | 2520 | HAS_DYN_ALLOC, NO_RECURSION, HAS_FLOAT |
| chrony | Implementation of the Network Time Protocol | https://chrony.tuxfamily.org/ | 2 | 122 | 25455 | HAS_DYN_ALLOC, REM_RECURSION, HAS_FLOAT |
| debie1 | Benchmark based on the DEBIE-1 satellite instrument | http://www.tidorum.fi/debie1/ | 1 | 48 | 6269 | NO_DYN_ALLOC, NO_RECURSION, HAS_FLOAT |
| genann | Simple neural network library | https://github.com/codeplea/genann | 1 | 8 | 690 | HAS_DYN_ALLOC, NO_RECURSION, HAS_FLOAT |
| gnugo | Go game | https://ftp.gnu.org/gnu/gnugo/ | 1 | 27 | 2048 | NO_DYN_ALLOC, HAS_RECURSION, NO_FLOAT |
| gzip124 | Data compression program | https://www.gnu.org/software/gzip/ | 1 | 35 | 5826 | HAS_DYN_ALLOC, REM_RECURSION, NO_FLOAT |
| hiredis | Minimalistic client library for the Redis database | https://github.com/redis/hiredis | 2 | 45 | 6622 | HAS_DYN_ALLOC, REM_RECURSION, HAS_FLOAT |
| icpc | Fake application developed for a programming challenge, for ICPC2011 | http://icpc2011.cs.usask.ca/conf_site/IndustrialTrack.html | 1 | 15 | 965 | NO_DYN_ALLOC, NO_RECURSION, HAS_FLOAT |
| ioccc | Some winners of the International Obfuscated C Code Contest (IOCCC) | https://github.com/ioccc-src/winner | 21 | 55 | 3909 | HAS_DYN_ALLOC, UNUSED_RECURSION, HAS_FLOAT |
| itc-benchmarks | Static analysis benchmark from Toyota ITC | https://github.com/regehr/itc-benchmarks | 2 | 107 | 29633 | HAS_DYN_ALLOC, REM_RECURSION, HAS_FLOAT |
| jsmn | Minimalistic JSON parser | https://github.com/zserge/jsmn | 2 | 7 | 806 | UNUSED_DYN_ALLOC, UNUSED_RECURSION, NO_FLOAT |
| kgflags | Header-only command-line parsing library | https://github.com/kgabis/kgflags | 2 | 5 | 1222 | NO_DYN_ALLOC, NO_RECURSION, HAS_FLOAT |
| khash | Standalone, generic C library | https://github.com/attractivechaos/klib | 1 | 2 | 308 | HAS_DYN_ALLOC, NO_RECURSION, HAS_FLOAT |
| kilo | Text editor in less than 1000 lines of code | https://github.com/antirez/kilo/blob/master/kilo.c | 1 | 2 | 1012 | HAS_DYN_ALLOC, REM_RECURSION, NO_FLOAT |
| libmodbus | Library to send/receive data according to the Modbus protocol | https://github.com/stephane/libmodbus | 2 | 22 | 5172 | HAS_DYN_ALLOC, NO_RECURSION, HAS_FLOAT |
| libspng | Library for writing and reading PNG files | https://github.com/randy408/libspng | 1 | 5 | 3337 | HAS_DYN_ALLOC, NO_RECURSION, HAS_FLOAT |
| libyaml | Library for parsing and emitting YAML | https://github.com/yaml/libyaml | 2 | 25 | 10548 | HAS_DYN_ALLOC, UNUSED_RECURSION, NO_FLOAT |
| line-following-robot | Very simple AVR-based robot (student project) | https://github.com/Fabio-Morais/Line-Follower-Robot | 1 | 21 | 3560 | NO_DYN_ALLOC, NO_RECURSION, HAS_FLOAT |
| mbedtls | Implementation of the TLS and SSL protocols (formerly PolarSSL) | https://github.com/Mbed-TLS/mbedtls | 179 | 423 | 138478 | HAS_DYN_ALLOC, HAS_RECURSION, NO_FLOAT |
| microstrain | Driver for a LORD/Microstrain Inertial Measurement Unit (IMU) sensor | https://github.com/ros-drivers/microstrain_mips | 1 | 69 | 19075 | HAS_DYN_ALLOC, NO_RECURSION, HAS_FLOAT |
| mini-gmp | Implementation of a subset of GNU's Multiple Precision Arithmetic library | https://gmplib.org/ | 1 | 35 | 8686 | HAS_DYN_ALLOC, NO_RECURSION, HAS_FLOAT |
| miniz | Compression library in a single source file, implementing zlib and Deflate | https://github.com/richgel999/miniz | 6 | 26 | 8299 | HAS_DYN_ALLOC, NO_RECURSION, HAS_FLOAT |
| monocypher | Small, self-contained cryptographic library | https://monocypher.org | 1 | 42 | 23680 | HAS_DYN_ALLOC(tests), NO_RECURSION, NO_FLOAT |
| papabench | Real time benchmark based on the Paparazzi unmanned aerial vehicle (UAV) code | https://github.com/t-crest/patmos-benchmarks/tree/master/PapaBench-0.4 | 1 | 80 | 7251 | NO_DYN_ALLOC, UNUSED_RECURSION, HAS_FLOAT |
| polarssl | Implementation of the TLS and SSL protocols (formerly PolarSSL) | https://github.com/ARMmbed/mbedtls | 1 | 119 | 29184 | HAS_DYN_ALLOC, REM_RECURSION, NO_FLOAT |
| powerwindow | Distributed power window control, by CoSys-Lab, part of TACLeBench | https://github.com/tacle/tacle-bench/tree/master/bench/app/powerwindow | 1 | 39 | 2918 | NO_DYN_ALLOC, NO_RECURSION, NO_FLOAT |
| qlz | Fast compression library | http://www.quicklz.com | 4 | 7 | 963 | HAS_DYN_ALLOC(tests), NO_RECURSION, NO_FLOAT |
| safestringlib | Library for handling strings securely | https://github.com/intel/safestringlib | 1 | 148 | 14922 | NO_DYN_ALLOC, NO_RECURSION, NO_FLOAT |
| semver | Parser and renderer for semantic versioning 2.0.0 | https://github.com/h2non/semver.c | 1 | 4 | 1034 | HAS_DYN_ALLOC, NO_RECURSION, NO_FLOAT |
| solitaire | Implementation of Bruce Schneier's card cipher, Solitaire (aka Pontifex) | http://www.ciphergoth.org/crypto/solitaire/ | 1 | 1 | 263 | NO_DYN_ALLOC, NO_RECURSION, NO_FLOAT |
| stmr | Martin Porter's Stemming algorithm as a C library | https://github.com/wooorm/stmr.c | 1 | 3 | 497 | HAS_DYN_ALLOC, HAS_RECURSION, NO_FLOAT |
| tsvc | Test suite for vectorizing compilers | http://polaris.cs.uiuc.edu/~maleki1/TSVC.tar.gz | 1 | 2 | 4041 | HAS_DYN_ALLOC, NO_RECURSION, HAS_FLOAT |
| tweetnacl-usable | Cryptographic library in 100 tweets, in a more usable form | https://twitter.com/TweetNaCl | 1 | 5 | 1072 | HAS_DYN_ALLOC, NO_RECURSION, NO_FLOAT |
| verisec | Buffer overflow benchmark | https://security.csl.toronto.edu/wp-content/uploads/2018/06/Verisec-ASE2007.pdf | 275 | 320 | 14561 | HAS_DYN_ALLOC, NO_RECURSION, NO_FLOAT |
| x509-parser | RTE-free X.509 parser | https://github.com/ANSSI-FR/x509-parser | 1 | 3 | 5057 | NO_DYN_ALLOC, NO_RECURSION, NO_FLOAT |
Note: the 'Tags' column refers to code features that may be found in the code. A few examples are presented below.
- REM_RECURSION: the code contains recursive calls, but they were removed or commented in the current Eva test cases.
- UNUSED_RECURSION: the code contains recursive calls (either in the main application/library, or in test cases), but the current Eva targets do not call them.