Module Hooks.Analysis_bugs

Hook to track some bug patterns in C analysis

The hook captures assignments and calls to stubbed functions. It checks that if such statement is reachable its post-state should not be empty. Otherwise, this seems to be a soundness bug in some transfer function.