Mohannad Alhanahnah

is there any comparison between KLEE (concrete execution) and LLVM interpreter?

@251 any suggestion plz to overcome this issue? Is there any special instruction to make KLEE read the configuration file?

@251 thanks for the explanation. Actually, I'm using a concrete value to inform nginx about the location of the configuration file. So there is no symbolic file involved in my...

Is there any possibility to help me? I think it's good to show that KLEE can execute large programs such as Nginx. I'm providing the path to the configuration file...

Much appreciated @251 the hack works now. @ccadar definitely, I will keep that in mind.

@MartinNowack thanks for the follow-up. Very informative. So was this a bug in the `fd.c`?

How to run Intellidroid after performing the preprocessing step?? I already installed everything, and now trying to rung the 2nd step of the static analysis, which is the step after...

Both header files are included in `mcsema/BC/Callback.cpp` as shown below. 

Which `remill` version should be installed?

While `%88 = icmp ne i8* %87, null, !dbg !209, !psr.id !212 | ID: 231` isn't dependent on `argv`, however, its dataflow facts look similar to `%25` ``` N: br...