Closed fundamental closed 9 years ago
A single non-realtime function call was found by stoat:
Error #1: Parameteric::active(bool) _ZN11Parameteric6activeEb ##The Deduction Chain: - Kuiza::run(void*, unsigned int) _ZN5Kuiza3runEPvj : Realtime (Whitelist) ##The Contradiction Reasons: - printf : Assumed Unsafe
This was found by using the following whitelist:
.*::run .*::activate .*::connect_port .*::process
the full callgraph (in case I failed to whitelist something important) can be seen at:
A single non-realtime function call was found by stoat:
This was found by using the following whitelist:
the full callgraph (in case I failed to whitelist something important) can be seen at: