search

secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
930 stars 140 forks source link

PMR Compatibility Workaround #498

Closed fabianbs96 closed 2 years ago

fabianbs96 commented 2 years ago

Replace std::pmr::* with LLVM's allocators in PointsToSetOwner -- Need to discuss about general strategy of dealing with allocators (the default strategy to always use the STL types doesn't seem to work anymore)