Hi,
On Wed, 3 Dec 2025 10:06:11 +0330 Mehdi Honarvar <[email protected]> wrote: > My issue is that in kcachegrind, under the Source Code view, some > functions show proper source information like uClibc_main, but others > — such as `main` — do not. That's because main() is generated as a wrapper in KLEE (as Cristian replied) here: https://github.com/klee/klee/blob/a3042db940ad61e8b14e0499486b8bdd3c5ac25a/tools/klee/main.cpp#L1186 When you check your assembly.ll it should just be sth. like: -- define i32 @main(i32 %0, i8** %1) { entry: call void @__uClibc_main(...) unreachable } -- > How can I fix this problem or ensure that all functions include source > mappings?(see attachment) You cannot fix it since there is no source code for this particular function. For other functions check if you added all source directories to (k/q)cachegrind: in the settings ("source annotation") you can add folders to the sources manually. Kind regards, Frank _______________________________________________ klee-dev mailing list -- [email protected] To unsubscribe send an email to [email protected]
