Martin Mory comments

Results 36 comments of


                                            Martin Mory

Is there a tutorial for taint analysis?

@fabianbs96 am I right?

Eliminate unnecessary indirection layers FlowFunctionType, FlowFunctionTypePtr, and container_type

These were inserted to make a possible change of the underlying types at some point in the future possible in a consistent way throughout the framework. There have been discussions...

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

If I understand your request right this functionality should already be present: run the analysis that propagates your values of interest and then use resultsAt() at the location of interest...

Simplify design and architecture and remove plugin approach

Plugins were removed some weeks ago. Closing as fixed.

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

The function returns the set of dataflow facts that hold at the statement that was asked for. In case of a taint analysis it returns all variables that are tainted...

AddData in ProfileData.cc crashes computeFunctionsPointsToSet using CFLSteens

I was able to reproduce this issue and create a minimal example. imho this is an LLVM bug and I need to raise an issue there.

Phasar does not compile on OS X Big Sur

Hi @solas @c2hpxq , what is the current state of the issue? Are you able to build phasar in the meanwhile? We are already working on Conan support, which hopefully...

Phasar does not compile on OS X Big Sur

Closing this for now due to inactivity. In the meanwhile the cmake stuff has been improved here and there. Please reach out again if you encounter build issues in the...

LLVM Buffer Overflow LLVMPointsToSet.Global_01

Closing as it does not seem to be relevant any more.

Segmentation fault

Is this still an issue @legendtang ?