search

secure-software-engineering / phasar

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

Modernize UninitializedVariables Analysis #616

Open fabianbs96 opened 1 year ago

fabianbs96 commented 1 year ago

The IFDSUninitializedVariables analysis requires some refactoring to adopt the improvements in PhASAR's analysis problem API from the recent ~4 years.