Martin Mory

We could delegate this to one of our students I guess.

Meanwhile, the plugin example is broken more, due to the InitialSeeds refactoring. The Makefile implies phasar to be installed to the system. It should be replaced with a proper CMakeLists.txt....

Hi, I am not sure whether I understand your question/intention correctly. The IR level implies that you already did a compilation of the program under analysis to LLVM IR. When...

I agree that this is fragile. So far we have not had problems with that, which I don't mean as an excuse not to do it right.

@blipper is this still an issue?

I agree on that. We intend to go with d_t in the future. This might be a low-hanging fruit for newbies :) I just labelled this as good first issue.

Hi @legendtang , could you please provide all of the c++ source needed to compile omnetpp_s_base.mytest-m64.bc? That would make debugging easier for us. Thank you! Cheers Martin

Thanks for sending the source file. There is a mismatch between the attached bitcode file and the source you just sent us. The issue we're having currently is in NEDTypeInfo::mergePropertyKey....

Could you please extract the ll file from the bc file you sent us? Just to exclude the possibility that llvm-dis did something wrong on my machine.

Okay, your ll file also has the weird signature. Is there a way you could determine the compile command that compiles nedtypeinfo.cc?