Martin Ross

Eliminate unnecessary indirection layers FlowFunctionType, FlowFunctionTypePtr, and container_type

2

### Bug description Understanding the Phasar framework is made more complicated than necessary due to the extra FlowFunction and FlowFunctionPtr layers. Issues with the current setup - It isn't obvious...

**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...

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...

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...

### 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,...

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*...

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...

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...

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...

Standardized on D versus d_t for Dataflow Fact

2

Some places use D and some use d_t. We should just pick some to standardize on the template type name.