The Berkeley ANalysis Engine (BANE)
Resource Type:
Code
License:
Other/Unknown
Language:
C
Data Format:
Description
BANE is a toolkit for constructing program analyses such as dataflow and type inference systems.
Categorized in: Representation and Reasoning | Constraint-Based Reasoning
Post comment
Cancel