search

jordr / chopper

KLEE / CSE Project
Other
0 stars 0 forks source link

Do not skip klee_*** internal functions #25

Open jordr opened 4 years ago

jordr commented 4 years ago

https://github.com/jordr/chopper/blob/b29049e51f701da6c8a23668ab16af92d6967ea0/lib/Module/KModule.cpp#L241-L250

jordr commented 4 years ago

The only references I see to addInternalFunction are there:

https://github.com/jordr/chopper/blob/b29049e51f701da6c8a23668ab16af92d6967ea0/lib/Module/KModule.cpp#L370-L375

where is klee_init_env added?