Fuzzy Set Abstraction
Journal article, 2018
Program analysis plays a key part in improving modern software. Static (sound) analyses produce globally correct, but often pessimistic results while dynamic (complete) analyses yield highly precise results but with limited coverage. We present the Fuzzy set abstraction which generalizes previous work based on 3-valued logic. Our abstraction allows for hybrid analysis where static results are refined dynamically through the use of fuzzy control systems.
static program analysis
dynamic program analysis
Abstract interpretation
Author
Jacob Lidman
Chalmers, Computer Science and Engineering (Chalmers), Computer Engineering (Chalmers)
Josef Svenningsson
Chalmers, Computer Science and Engineering (Chalmers), Computer Engineering (Chalmers)
Electronic Notes in Theoretical Computer Science
1571-0661 (ISSN)
Vol. 334 17-29Subject Categories
Software Engineering
Computer Science
Computer Systems
DOI
10.1016/j.entcs.2018.03.003