[klee-dev] Undefined Reference to Function

[eric.rizzi at huskers.unl.edu]

When I attempt to run Klee on cp, runcon, id, ginstall, or move, I get


"WARNING: undefined reference to function: is_selinux_enabled"


While this doesn't cause Klee to stop, all of the resulting explorations are very superficial.  None of the other 85 core-util programs talked about in the Klee paper have this problem.  Has anyone encountered/solved this issue.


Just in case, I'm using core-utils 6.10.  Thanks.
-------------- next part --------------
HTML attachment scrubbed and removed