Data-Flow Analysis as Model Checking Within the jABC
No abstract available.
Related papers
- Data Flow Analysis is Model Checking of Abstract Interpretations POPL 1998
- JFlow: Practical Mostly-Static Information Flow Control POPL 1999
- Pinpoint: fast and precise sparse value flow analysis for million lines of code PLDI 2018
- Efficient software model checking of data structure properties OOPSLA 2006
- Analysis of Secure Information Flow by Model-Checking APLAS 2001
- Logic-flow analysis of higher-order programs POPL 2007
- An Evaluation of Automatic Object Inline Allocation Techniques OOPSLA 1998
- Transformation of Data Flow Analysis Models to Object-Oriented Design OOPSLA 1988