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 gives incorrect output with configuration priming: gzip #51

Closed mudbri closed 3 years ago

mudbri commented 3 years ago

The specialized binary of gzip, when specialized with configuration priming, results in an incorrect output. The files required to reproduce the problem can be found here. The issue can be reproduced in the following way:

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

The test compares a file compressed with the specialized binary against the same file compressed with the unspecialized binary. The test fails when the --enable-config-prime flag is provided. It repeatedly outputs the following: gzip: huffman.c: No such file or directory. 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