Figure: Example warning generated by CodeSonar that identifies an interprocedural null-pointer dereference. Note that the re_acquire_state call is expanded and inlined to make it easy to understand the buggy path. Extensive navigation features are provided, including a full source-code listing that is hyperlinked.