PV4 ⊧ APRON or Aproninfers numerical properties of a program, proves the absence of errors of some classes

"Library dedicated to the static analysis of the numerical variables of programs by abstract interpretation"

Application domain/field

• Numeric analysis
• Static analysis
• Abstract interperation

Type of tool

Semantic equations solver

Expected input

program

Internals

• abstract interperation
• static approximation (using a simpler domain with sound abstract generalisations of semantics)
• dynamic approximation (widening to ensure termination)

Comments

APRON is a free software under LGPL license, except the wrappers related to the PPL library, which follows the GPL license of the PPL library.