Zachary Wimer

Note: fixing it might require refactoring `Base`'s `__new__` method as well. Specifically, `Base` can call the concrete backend internally to construct an object. But `Backend.call` only takes in `op` and...

Proposed fixes: 1. In `def StringV` in `ast/strings.py`, change the following line from/to: https://github.com/angr/claripy/blob/acc6e380f22fdd74af6c4839cbf8fa738af2f0fc/claripy/ast/strings.py#L154 ```python result = String("StringV", (value, length), length=8*length, **kwargs) ``` 2. Prevent `String.__init__` from changing `kwargs['length']`. 3....

Additionally, `StringS` must also `8*` length.

I'm not sure if this should be marked as a bug or not. I imagine it is, but it is one that happens to not break things but rather bind...

This was documented via https://github.com/RosettaCommons/binder/pull/229 The rest of this issue is just a feature request at this point.

Feature add PR: https://github.com/RosettaCommons/binder/pull/238

As mentioned in https://github.com/RosettaCommons/binder/pull/237 there are a few possible options we can do: 1. Close this and post/pre increment both named `plus_plus`, with post requiring a integer dummy argument (This...

Interesting. I have not encountered an issue using binder to generate code for one OS vs another; most of what binder generates seem to be just standard C++ interacting with...

Ah, yes I am using that flag; your reasoning makes sense in that case. Given this uses LLVM, would do you imagine it would be a 'quick fix' to have...

Darn, I would have assumed clang would have a way for you to get the name of the type / alias, as it was when parsed, rather than just the...