An error occurred while testing abstract execution

[ZcoderL]

An error occurred while testing darknet:

ae: /SVF/svf/include/AE/Core/IntervalValue.h:208: const SVF::BoundedInt& SVF::IntervalValue::lb() const: Assertion `!this->isBottom() && "bottom interval does not have lower bound"' failed.

Debugging found that the value field was not evaluated in SVFIR2AbsState:: getSINtToFPValue and SVFIR2AbsState:: getSINtToFPValue. After modifying the code, the error disappeared: bc file： darknet.zip