phasar

phasar copied to clipboard

IDE Statistics

1

This PR adds some statistics to IDE, especially edge functions; they should be useful for debugging. In addition, this PR restructures the AnalysisController slightly, to reduce dependencies and improve incremental...

fabianbs96

## Story In general, PhASAR supports two kinds of analyses: - Generally useful analyses such as constant analysis and alias analysis (and in future points-to analysis) - Analyses reporting undesired...

fabianbs96

## Story The current `LLVMTypeHierarchy` implementation relies on unrealistic assumptions about the code structure in LLVM IR and is of only little use in practice. We need a more robust...

fabianbs96

IDE Solver Strategy

4

Currently, the IDESolver propagates data-flow information to the *successor* instruction of the current instruction. While this makes the implementation easier, for users this is sometimes unintuitive, mostly because the Dragonbook...

fabianbs96

This PR adds basic support for Windows. Things that work: - Building phasar-cli and myphasartool in Release mode - Building static phasar libraries in Release mode - Building the unittests...

fabianbs96

Can Phasar be used to identify control-dependent instructions

6

I'm using phasar taint analysis to identify data-dependent and control-dependent instructions on `argv`. ``` psr::IDEExtendedTaintAnalysis TaintAnalysis(&IR, &T, &I, &P, Config); TaintAnalysis.setIFDSIDESolverConfig(SolverConfig); std::stringstream SolverConfigStr; SolverConfigStr

Mohannadcse

Currently, PhASAR relies on being able to query pointer-element-types. When moving to LLVM 15, this won't be possible anymore by default (there might be some configuration options to re-enable them...

fabianbs96

Dataflow facts vanish after function call using PropagateOnto strategy

5

I have an issue with the PropagateOnto strategy. If I use the default PropagateOver strategy, my typestate code works well. But when using PropagateOnto strategy, some dataflow facts vanish after...

yuffon

Analysis not finnishing

4

- [x] I have searched open and closed issues for duplicates - [x] I made sure that I am not using an old project version (DO: pull PhASAR, update git...

StamesJames

Handling getCalledFunction() method

3

- [x] I have searched open and closed issues for duplicates - [x] I made sure that I am not using an old project version (DO: pull Phasar, update git...

BowenZhang-UST