search

Kraks / LLAAM

Low-Level Abstracting Abstract Machine
2 stars 0 forks source link

Suppor AI libraries? #1

Open rainoftime opened 6 years ago

rainoftime commented 6 years ago

What about integrating third-party abstract interpretation libraries such as apron and PPL?

Kraks commented 6 years ago

Integrating APRON/PPL is a good idea and may turn it to be a more practical and efficient tool. For not, it just uses set as abstract domain for integer values, and does not care about float numbers.

Personally, I would like to refactor the whole project in near future, and explore some ideas regarding sensitivities and abstract garbage collection under AAM for imperative languages in SSA.