phasar

phasar copied to clipboard

Redesign ProjectIRDB

2

The redesign of the ProjectIRDB, as discussed

fabianbs96

Improvements to the CFG and ICFG interfaces similar to the ProjectIRDB in #511. #511 should be merged first

fabianbs96

build error in ubuntu 22.04

1

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

JJ2nu

Will the SPDS(POPL19) be incorporated in phasar?

1

**Is your feature request related to a problem? Please describe.** Will the SPDS (POPL19) be incorporated in phasar?

madappie

Automatically detect the build directory (for the unit tests) to successfully run the unit in more advanced setups.

pdschubert

how can i get a taint path in ifds-taint/ide-xtaint analysis?

2

i was trying to get a taint paths from phasar but im having hard time getting those results. which options do i have to use to get those path information?

JJ2nu

Get data flow for leaks in taint analysis

3

**Is your feature request related to a problem? Please describe.** I'm working with the taint analysis feature of phasar (eg. `ide-xtaint`). The resulting leaks seem to be identified by their...

peckto

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

blipper

Is there a tutorial for taint analysis?

3

Hi, I want to use phasar for taint analysis, but I can't find a tutorial of using phasar for taint analysis in wiki or homepage, can anyone tell me how...

Radon10043

OpenSSL Typestate analysis Secure Memory check bug

1

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

Ayohbk