phasar

phasar copied to clipboard

**Is your feature request related to a problem? Please describe.** LLVMBaseICFG is slow with O(thousands) of functions **Describe the solution you'd like** Linear scaling with cpus! Or assistance/hints on what...

blipper

LLVM Buffer Overflow LLVMPointsToSet.Global_01

3

### Bug description Running with ASAN I get failed on Global but intra and inter pass [ RUN ] LLVMPointsToSet.Global_01 ================================================================= ==2106==ERROR: AddressSanitizer: heap-buffer-overflow on address 0x6040002c3dc8 at pc 0x7f7fdfa84a12...

blipper

Create thread safe version of llvm::CFLAndersAA and llvm::CFLSteensAA

1

**Is your feature request related to a problem? Please describe.** For realistic size program analysis the AliasAnalysis passes are often the slowest part. Unfortunately neither the llvm::CFLAndersAA and llvm::CFLSteensAA are...

blipper

### Bug description getMetaDataID() returns "-1". This is not in compliance with the https://llvm.org/docs/LangRef.html#identifiers which requires numeric ids to be unsigned. This mostly matters for @zero_value = constant i2 0,...

blipper

AddData in ProfileData.cc crashes computeFunctionsPointsToSet using CFLSteens

3

### Bug description Analyzing a program with https://github.com/gperftools/gperftools/blob/master/src/profiledata.cc#L261 's ProfileData::Add crashes Phasar 0x00007fbed345c24000:26:26.056282 - [WARNING] Large number of pointers detected - Perf is O(N^2) here: 140 for ProfileData::Add(int, void const*...

blipper

Document branch model used for SDLC

1

**Is your feature request related to a problem? Please describe.** I raised a bunch of prs against master. Apparently dev is the appropriate place for this. **Describe the solution you'd...

blipper

Document when to use forward declarations versus #includes

1

**Is your feature request related to a problem? Please describe.** Not clear to me what the rules are? **Describe the solution you'd like** Convert all forward declarations to include style...

blipper

Why all esg data flow fact are empty?

4

I write a simple example c++ file like that: ```c++ struct worker{ int speed; int efficient; }; int sum(struct worker* workers, int k) { int sum = 0; for (int...

wuxiaoqiang12

plugin make file

1

Hello, there was a problem for MakeFile in `/phasar/examples/plugins`. ``` clang++ -std=c++17 -Wall -Wno-return-type-c-linkage -O0 -fPIC -shared `llvm-config --cppflags` MyIFDSProblem.cxx -o MyIFDSProblem.so MyIFDSProblem.cxx:3:10: fatal error: 'phasar/DB/ProjectIRDB.h' file not found #include...

meweez

Clarify meaning of https://github.com/secure-software-engineering/phasar/wiki/Writing-an-Inter-Procedural-Monotone-Framework-Analysis-(Using-Call-Strings)

1

There is a comment her that "An example for an analysis that is not distributive is full-constant propagation. In simple words a flow function is not distributive if a data-flow...

blipper