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 results in a runtime segmentation fault with configuration priming: netperf #50

Closed mudbri closed 3 years ago

mudbri commented 3 years ago

The specialized binary of netperf, when specialized with configuration priming, outputs a segmentation fault when run. The files required to reproduce the problem can be found here. The issue can be reproduced in the following way:

  1. cd netperf
  2. make
  3. bash build.sh --enable-config-prime
  4. make test

The test compares the output of the specialized binary with the correct output. 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). To see the segmentation fault, run ./netperf_slashed_stripped (after running bash build.sh --enable-config-prime).

caballa commented 3 years ago

The reason for the crash is explained in issue #54

caballa commented 3 years ago

Fixed in commit 068140023ca11af3ee00bdb0fbc4e050382ed220