Axel Tillequin

Hi, well cfg recovery is hard. Amoco provides actually 5 classes to help in this recovery, some are very simple (lsweep, fforward, lforward), some try to be more clever (lbackward)...

about x64 semantics: damned your right...WTF ! this is even true for a 'mov eax, ebx'. I'm fixing this nonsenseness ! about PLT refs: what is already known to PLT...

The x64 semantics should be better now thanks to commit 6b3757bc, let me know if its ok.

Hi Zach, Indeed, I need to add examples from the tests/ directory but its currently a bunch of ugly files there and I'd like to rewrite some examples before merging...

If I understand well, you'd like to provide an interface to a concrete state to a mapper and get the resulting mapper where all (or some) symbolic values have been...

I've added a 'csi' attribute directly in the mapper class which (if set) acts as a hook function to implement a concrete state interface. I'll still need to document this...

First reason for getting a wider graph is that grandalf will put in top layer all nodes with no incoming edge. In this case, it thus naturally pushes to the...

I've added a simple rank optimize. Its not used by default, so you need to call sug.init_all(optimize=True). The result after draw(N=4) is given below. For now, it's mostly a workaround...

Hi, rendering is not implemented in grandalf. Any rendering method should take a computed layout instance as input or possibly as a parent class and add drawing methods there based...

I see what you mean (actually amoco/cas/expressions.py and associated parser.py illustrate this as well) but unfortunately the final phase of the layout algorithm does not involve binary operators. It is...