sosy-lab/sv-benchmarks

Integrate all Juliet benchmarks and implement non c99 functions

holznerst opened this issue · 0 comments

At the moment there are a lot of Juliet benchmark c programs which are not yet categorized and pre processed.
Furthermore some of the benchmarks uses non c99 standard functions (see list below) that have to be implemented.

In addition to the c programs NIST offers a huge set of Java benchmarks as well which could heavily improve the quantity of the java benchmark set: https://samate.nist.gov/SRD/testsuite.php

The list of found non c99 standard functions:

  • int iswxdigit(wint_t arg0)
  • int connect(int arg0, const struct sockaddr *arg1, socklen_t arg2)
  • uint16_t htons(uint16_t arg0)
  • in_addr_t inet_addr(const char *arg0)
  • ssize_t recv(int arg0, void *arg1, size_t arg2, int arg3)
  • int socket(int arg0, int arg1, int arg2)
  • int accept(int arg0, struct sockaddr *arg1, socklen_t *arg2)
  • int bind(int arg0, const struct sockaddr *arg1, socklen_t arg2)
  • int listen(int arg0, int arg1)

Originally posted by @holznerst in #821 (comment)