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 Python analysis, inspired by the one written in C.

The hook captures assignments. 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