Will the SPDS(POPL19) be incorporated in phasar?

secure-software-engineering / phasar

A LLVM-based static analysis framework.

Other

930 stars 140 forks source link

Will the SPDS(POPL19) be incorporated in phasar? #512

Closed jiewmurphy closed 1 year ago

jiewmurphy commented 2 years ago

Is your feature request related to a problem? Please describe. Will the SPDS (POPL19) be incorporated in phasar?

fabianbs96 commented 2 years ago

Yes, internally we are already working on it, so eventually it will be part of phasar. However, it will take quite some time due to the inherent complexity of the problem