search

SRI-CSL / OCCAM

OCCAM: Object Culling and Concretization for Assurance Maximization
BSD 3-Clause "New" or "Revised" License
26 stars 10 forks source link

Specialized binary does not give any output with configuration priming: airtun #49

Closed mudbri closed 3 years ago

mudbri commented 3 years ago

Specializing airtun with configuration priming results in a large reduction of functions. However, the specialized binary does not give any output. The files required to reproduce the problem can be found here. The issue can be reproduced in the following way:

  1. cd airtun
  2. make (the following dependency might be required: apt-get install libssl-dev)
  3. bash build.sh --enable-config-prime
  4. make test

The test compares the output of the specialized binary with that of the unspecialized one. The test fails when the --enable-config-prime flag is provided. However, the test passes when the flag is not provided (i.e. bash build.sh).

caballa commented 3 years ago

It should be fixed in commit ca2e84536c7d356af439634de0fb2900db1f622e