PV2 ⊧ tAIlor (tailor)generates a configuration for an abstract interpreter from constraints

automatically tailors an abstract interpreter to the code under analysis and any given resource constraints

Application domain/field

• Configuration
• Abstract interpretation

Type of tool

Metatool

Expected input

Program

Expected output

Configuration for Crab abstract interpreter

Internals

Tailor will automatically tune the Crab abstract interpreter to the code under analysis and any given resource constraints. It specifically focuses on time as the constrained resource.

Comments

License: Apache v2.0