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

Segmentation fault in netperf after specialization with OCCAM #42

Closed mudbri closed 3 years ago

mudbri commented 3 years ago

Running the specialized binary for netperf-2.4.3 results in a segmentation fault. The attached
netperf.zip contains the compressed tar containing the source code for netperf-2.4.3, Makefile, and manifest file.

To reproduce the issue, run:

  1. make
  2. slash --work-dir=slash --disable-inlining --inter-spec-policy=none --intra-spec-policy=onlyonce --use-pointer-analysis netperf.manifest
  3. cd slash and then ./netperf_fin
caballa commented 3 years ago

Fixed in commit 07241b3fad62eaa280b80e4801da229fd1a3a475

mudbri commented 3 years ago

Checked. The specialization occurs without any errors and the specialized binary is working correctly in the latest commit. Thanks!