Unexpected output with specialized binary using configuration priming: gprof

SRI-CSL / OCCAM

OCCAM: Object Culling and Concretization for Assurance Maximization

BSD 3-Clause "New" or "Revised" License

26 stars 10 forks source link

Unexpected output with specialized binary using configuration priming: gprof #55

Closed caballa closed 2 years ago

caballa commented 2 years ago

To reproduce follow the instructions of issue #47

caballa commented 2 years ago

I added a new option --config-prime-spec-only-globals (commit 8c49830) that when enabled reduces the likelihood of over-specialization. With this option, the specialized binary produces the correct answer.

mudbri commented 2 years ago

This is working correctly with the --config-prime-spec-only-globals option