Module dev.civl.mc

Package dev.civl.mc.analysis.IF

package dev.civl.mc.analysis.IF

Module analysis provides a list of analyzers for static/runtime analyzing of a program. Currently, it contains one code analyzer:

• Absolute value function analyzer (See
  invalid reference

  AbsCallAnalyzer

  )

Class	Description
Analysis	Entry point of the module civl.analysis.
CodeAnalyzer	This represents a code analyzer for analyzing source code for a certain property.