phasar

phasar copied to clipboard

Can Phasar transform source-level CFG to IR-level CFG

1

Hi, I want to implement a value range analysis via clang-tidy.I know CFG can get via buildCFG() method, but it is source-level(Even if I can get the AST, the AST...

ash1852

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.

blipper

In order to do a backward taint analysis, we could use this. What I had thought is : 1) I need to add the missing functions in the LLVMBasedBackwardICFG which...

devanshrajgarhia

Clearly document the OpenSSL version required

2

**Is your feature request related to a problem? Please describe.** There are requirements for files/tests that are not present in earlier versions of OpenSSL. **Describe the solution you'd like** Document...

blipper

Add/implement isReachable()/pathsTo() for control flow

2

**Is your feature request related to a problem? Please describe.** I am writing a plugin to determine if a set of constant values can propagate to a certain function with...

blipper

Phasar does not compile on OS X Big Sur

2

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

solas

Unit Tests compareResults numeric ID based ground truth values are fragile

2

**Is your feature request related to a problem? Please describe.** A typical test pattern in unittets is TEST_F(IFDSTaintAnalysisTest, TaintTest_04) { initialize({PathToLlFiles + "dummy_source_sink/taint_04_cpp_dbg.ll"}); IFDSSolver_P TaintSolver(*TaintProblem); TaintSolver.solve(); map GroundTruth; GroundTruth[19] =...

blipper

Simplify design and architecture and remove plugin approach

2

**Is your feature request related to a problem? Please describe.** Dynamic plugins are somewhat confusing and more complex that just writing your own static analysis. Given that Phasar is opensource...

blipper

Parallelize LLVMPointsToSet

3

**Is your feature request related to a problem? Please describe.** For programs with large numbers of variables and functions O(thouands) LLVMPointsToSet takes O(minutes) even with CDLSheen. **Describe the solution you'd...

blipper

Segmentation fault

14

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

legendtang