Experimental settings

Compiler Settings:

NOTICE works with all GCC versions.

To run experiments we choose one compiler version which is  GCC 4.8.4

Below, we present the list of optimizations considered in this experiment:

Capture d’écran 2016-03-28 à 19.43.13.png


gcc (Ubuntu 4.8.4-2ubuntu1~14.04) 4.8.4

Copyright (C) 2013 Free Software Foundation, Inc.

Programs used to run experiments:

For Csmith, we just define the seeds of generated programs to design the selected programs. You can reproduce the same programs by specifying the same seed value like:

« csmith -s <seed> »

Seeds values for 10 generated programs used as training set in RQ1 of NOTICE paper:

3818675853, 2696142305, 3037199916, 3332387153, 3646978160, 3340076647, 3744019873,  3847537678, 1905069839, 3641538540

Docker settings


Docker version 1.8.2, build 0a8c2e3


docker run –volume=/:/rootfs:ro –volume=/var/run:/var/run:rw –volume=/sys:/sys:ro –volume=/var/lib/docker/:/var/lib/docker:ro –publish=8080:8080 –detach=true –name=cadvisor –restart=always google/cadvisor:latest -logtostderr -storage_driver=influxdb -storage_driver_host= -storage_driver_db=cadvisorDB -storage_driver_buffer_duration=0m1s


docker run -d -p 8083:8083 -p 8086:8086 –expose 8090 –expose 8099 -e PRE_CREATE_DB=« cadvisorDB«  –name=influxdb tutum/influxdb:0.8.8


docker run -d -p 80:80 –restart=always –name=grafana -e HTTP_USER=root -e HTTP_PASS=root -e INFLUXDB_HOST= -e INFLUXDB_PORT=8086 -e INFLUXDB_NAME=cadvisorDB -e INFLUXDB_USER=root -e INFLUXDB_PASS=root tutum/grafana


You have to pull the docker image from docker hub repository  :

docker pull mboussaa/csmith

Machine settings

  • AMD A10-7700K APU Radeon(TM) R7 Graphics processor
  • 4 CPU cores (2.0 GHz)
  • Linux with a 64 bit kernel and
  • 16 GB of system memory.