Philipp Dominik Schubert comments

Results 9 comments of


                                            Philipp Dominik Schubert

Implement a Full-constant Propagation for the InterMonoSolver

Hey Linus, I will upload some template files (including unit tests) for the analysis that you can fill.

Implement a Full-constant Propagation for the InterMonoSolver

Please fork your feature branch from `development`.

Segmentation fault

Hi, Thanks for reporting the bug. We have been able to spot the cause of the bug and are currently working on a fix. We will push the fix to...

Segmentation fault

@legendtang We fixed one bug. However, we now triggered another bug and it currently looks like there is something wrong with the bitcode. A vtable of a type is accessed...

Segmentation fault

So in essence we fixed a real bug in Phasar but then encountered a second one that is caused by the original bitcode file you send us. The bitcode file...

Segmentation fault

Thanks. I've forwarded your email to Martin. We'll try to figure out where it goes wrong. There must be some step in between that leads to the strangely modified IR....

Clearly document the OpenSSL version required

Hi @meret-boe, please implement Martin's suggestion. For the test code in `test/llvm_test_code/openssl/*` various OpenSSL declarations are required to get it to compile to LLVM IR. We are currently including the...

Simplify design and architecture and remove plugin approach

Thanks for bringing that up, I agree. If only we had the resources. But some student assistants of mine and I started to get rid of some relics of the...

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

`pathTo` functionalities that allow for path-sensitive data-flow analysis have been implemented. We will merge them to open-source PhASAR soon.