add tags about dyn mem alloc/recursion/floats; link to summary in readme

2048/OSCS-README.txt

 Console version of the game 2048
 https://github.com/mevdschee/2048.c
+NO_DYN_ALLOC, NO_RECURSION, NO_FLOAT

README.md

@@ -66,6 +66,9 @@ Other generated targets:
 
 # Notes
 
+A summary of the case studies, with a brief description, URL, number of Eva
+targets, etc, is available at [summary.md](summary.md).
+
 ## Source code modifications
 
 We attempt to minimize changes to each case study, to keep the code close to

basic-cwe-examples/OSCS-README.txt

 Small test cases based on "buggy" CWE demonstrative examples
 https://cwe.mitre.org/data/
+HAS_DYN_ALLOC, NO_RECURSION, NO_FLOAT

bench-moerman2018/OSCS-README.txt

 Test suite used to evaluate static analysis tools
 https://github.com/JMoerman/JM2018TS/
+HAS_DYN_ALLOC, UNUSED_RECURSION, NO_FLOAT

c-testsuite/OSCS-README.txt

 Part of a collaborative database of compiler test cases
 https://github.com/c-testsuite/c-testsuite
+HAS_DYN_ALLOC, HAS_RECURSION, HAS_FLOAT

cerberus/OSCS-README.txt

 Test suite related to the Cerberus project
 https://www.cl.cam.ac.uk/~pes20/cerberus/
+HAS_DYN_ALLOC, NO_RECURSION, HAS_FLOAT

chrony/OSCS-README.txt

 Implementation of the Network Time Protocol
 https://chrony.tuxfamily.org/
+HAS_DYN_ALLOC, REM_RECURSION, HAS_FLOAT

compute-summary.sh

@@ -12,8 +12,8 @@ out=summary.md
 rm -f $out
 # Compute a summary for each directory, using `cloc`
 
-echo "| Directory | Description | URL | #Eva targets | #.c/.h files | #LoC |" > $out
-echo "| --------- | ----------- | --- |          --- |          --- |  --- |" >> $out
+echo "| Directory | Description | URL | #Eva targets | #.c/.h files | #LoC | Tags |" > $out
+echo "| --------- | ----------- | --- |          --- |          --- |  --- | ---  |" >> $out
 for t in $targets
 do
     echo "Processing $t..."
@@ -23,9 +23,22 @@ do
     ntargets="$(cd $t && make -C .frama-c display-targets --no-print-directory | wc -w)"
     nfiles=$(echo $csv | cut -d',' -f1)
     loc=$(echo $csv | cut -d',' -f5)
-    echo "|$t|$desc|$url|$ntargets|$nfiles|$loc|" >> $out
+    tags="$(cd $t && sed '3!d' OSCS-README.txt)"
+    echo "|$t|$desc|$url|$ntargets|$nfiles|$loc|$tags|" >> $out
 done
 
+cat >>$out <<EOF
+
+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.
+EOF
+
 echo "Saved table to $out."
 # Avoid accidentally modifying the file by hand
 chmod -w $out

debie1/OSCS-README.txt

 Benchmark based on the DEBIE-1 satellite instrument
 http://www.tidorum.fi/debie1/
+NO_DYN_ALLOC, NO_RECURSION, HAS_FLOAT

frama-c @ 5e23a535

-Subproject commit 8d8b6aaaee19061f7ff21cbf6ceff0afc9e617b1
+Subproject commit 5e23a5351095acb2199a8b985ed6b8a61592483e

genann/OSCS-README.txt

 Simple neural network library
 https://github.com/codeplea/genann
+HAS_DYN_ALLOC, NO_RECURSION, HAS_FLOAT

gzip124/OSCS-README.txt

 Data compression program
 https://www.gnu.org/software/gzip/
+HAS_DYN_ALLOC, REM_RECURSION, NO_FLOAT

hiredis/OSCS-README.txt

 Minimalistic client library for the Redis database
 https://github.com/redis/hiredis
+HAS_DYN_ALLOC, REM_RECURSION, HAS_FLOAT

icpc/OSCS-README.txt

 Fake application developed for a programming challenge, for ICPC2011
 http://icpc2011.cs.usask.ca/conf_site/IndustrialTrack.html
+NO_DYN_ALLOC, NO_RECURSION, HAS_FLOAT

ioccc/OSCS-README.txt

 Some winners of the International Obfuscated C Code Contest (IOCCC)
 https://github.com/ioccc-src/winner
+HAS_DYN_ALLOC, UNUSED_RECURSION, HAS_FLOAT

itc-benchmarks/OSCS-README.txt

 Static analysis benchmark from Toyota ITC
 https://github.com/regehr/itc-benchmarks
+HAS_DYN_ALLOC, REM_RECURSION, HAS_FLOAT

jsmn/OSCS-README.txt

 Minimalistic JSON parser
 https://github.com/zserge/jsmn
+UNUSED_DYN_ALLOC, UNUSED_RECURSION, NO_FLOAT

kgflags/OSCS-README.txt

 Header-only command-line parsing library
 https://github.com/kgabis/kgflags
+NO_DYN_ALLOC, NO_RECURSION, HAS_FLOAT

khash/OSCS-README.txt

 Standalone, generic C library
 https://github.com/attractivechaos/klib
+HAS_DYN_ALLOC, NO_RECURSION, HAS_FLOAT

kilo/OSCS-README.txt

 Text editor in less than 1000 lines of code
 https://github.com/antirez/kilo/blob/master/kilo.c
+HAS_DYN_ALLOC, REM_RECURSION, NO_FLOAT