Fuzzy Set Abstraction
Artikel i vetenskaplig tidskrift, 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

Författare

Jacob Lidman

Chalmers, Data- och informationsteknik, Datorteknik

Josef Svenningsson

Chalmers, Data- och informationsteknik, Datorteknik

Electronic Notes in Theoretical Computer Science

1571-0661 (ISSN)

Vol. 334 17-29

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)

Datorsystem

DOI

10.1016/j.entcs.2018.03.003