softwarelanguageslab / maf

Static Analysis Framework for Modular Analyses
Other
13 stars 12 forks source link

Extensibility of MAF #28

Open bramvdbogaerde opened 2 years ago

bramvdbogaerde commented 2 years ago

We might want to split this issue into multiple different issues, but I hope to give an overview of the ways in which one might want to extend MAF.

noahvanes commented 2 years ago

We'll definitely need to split this :-)

Bullets 1 & 3 are also related to previous issues tagged with "Abstract Domain" (e.g., #24, #22, ...), so we might want to take all of those into account when we start refactoring the implementation of these abstract domains.

Not sure what bullet 4 is about. The flexibility (e.g., for the given example with if-expressions) is already enabled by the monadic style. Does this boil down then to having more monad transformers to make it easier to construct those monads?