phasar
phasar copied to clipboard
secure-software-engineering
A LLVM-based static analysis framework.
- [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...
I wrote a simple tutorial to use the phasar-cli tool for a taint analysis. If you want, you can use it somewhere. I upload the markdown file here. [Simple Taint...
Hi! Recently I checked Profile-Guided Optimization (PGO) improvements on multiple projects. The results are [here](https://github.com/zamazan4ik/awesome-pgo/). LLVM-related results are [here](https://github.com/llvm/llvm-project/issues/63486). According to the tests, PGO usually helps a lot with the...
## Story The Wiki is frequently used to get into PhASAR. However, the content of the Wiki is mostly out-dated. Update it. ### Prerequisites * *issue x* ### Out Of...
LLVM has removed their CFL based alias analysis implementations (CFLAndersAA and CFLSteensAA -- https://reviews.llvm.org/D139703), so we should remove their uses as well. This also removes some bugs due to known...
The IFDSUninitializedVariables analysis requires some refactoring to adopt the improvements in PhASAR's analysis problem API from the recent ~4 years.
This PR contains a first set of Swift tests for the IFDS Taint Analysis. Also code style changes were applied to existing Swift tests. We currently can't correctly handle the...
- [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...
## Story Phasar NEEDS test coverage tracking. We should enable the CI to track and upload phasars test coverage to: - see how we are progressing overall - make it...
## Story The website phasar.org is linked from our documentation, but not up-to-date. Update it or move it to some other place, e.g. github pages. ### Prerequisites * *issue x*...
Metadata
Owner
Metadata
A LLVM-based static analysis framework.