Antonio Flores Montoya

ADT definitions accessible from compiled souffle?

6

Is there a way to access the ADT definitions from a compiled instance of a souffle program. I see that a representation of these definitions is included in the `directiveMap`...

quotient_graph won't generate self-edges

2

The `quotient_graph` algorithm will not produce self-edges even though the original graph has edges between two elements of the same equivalence class. This could make sense for some applications but...

Including ddisasm in evaluation

1

I would like to run this evaluation on ddisasm https://github.com/GrammaTech/ddisasm to compare it against all the other disassemblers. Would you be willing to accept a contribution in this repo that...

Hi, I would like to add Ddisasm https://github.com/GrammaTech/ddisasm to the comparison to see how it does compared to the other tools. I could provide an adapter script to do so,...

Stripped binaries in dataset cause bad ground truth comparisons

1

I have noticed that several binaries in the dataset are stripped: e.g. ``` mthumb_executables/clients/gcc_O2/scp mthumb_executables/clients/gcc_O2/sftp mthumb_executables/clients/gcc_O2/ssh mthumb_executables/clients/gcc_O2/ssh-add ... ``` since the comparison scripts use symbols to exclude functions added by...

Wrong basic block boundaries in several binaries

4

I've noticed a few places where the ground truth seems to be wrong. This is, I believe, and different case from https://github.com/junxzm1990/x86-sok/issues/28 where capstone was to blame. In the following...