retrowrite icon indicating copy to clipboard operation
retrowrite copied to clipboard
verified publisher icon HexHive

Juliet tests

Open andreafioraldi opened this issue 5 years ago • 0 comments

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.

andreafioraldi avatar May 20 '20 18:05 andreafioraldi