package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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.

module Hook : sig ... end