HexHive / retrowrite

RetroWrite -- Retrofitting compiler passes through binary rewriting
Other
655 stars 78 forks source link

Juliet tests #11

Open andreafioraldi opened 4 years ago

andreafioraldi commented 4 years ago

Seems that the Makefile related to Juliet is wrong, is for LAVA-M

https://github.com/HexHive/retrowrite/blob/master/tests/juliet/Makefile

In addition, counting the testcases in Juliet (from https://github.com/arichardson/juliet-test-suite-c) for CWE 121 122 124 126 127 are 20368 but in the paper only 11828 were considered.

How did you filter the testcases? Removing all the testcases expecting inputs from stdin or socket? In that way, I have 13252, still more than 11828.