Zachary Wimer

Fix ast/base.py hash issues

10

This fixes multiple issues: 1. Non-integer (and non-`str`) `._hash` values for ASTs. Notice how https://github.com/angr/claripy/blob/51d17532025b87fd7d6eafa6ca87fa23df4b800d/claripy/ast/base.py#L226 can propagate to https://github.com/angr/claripy/blob/51d17532025b87fd7d6eafa6ca87fa23df4b800d/claripy/ast/base.py#L239 Fundamentally, if `._hash` is never used as a hash of the...

Get rid of six dependency

4

Fixes: https://github.com/angr/claripy/issues/294

Change Bits and String not to edit `ast.length`

3

Fix for: https://github.com/angr/claripy/issues/292 Warning: This changes the semantic meaning of `String.length` from byte length to bit length; use `.string_length` for byte length. Also, `.size()` and `__len__` are both defined by...

It's here: https://github.com/angr/claripy/blob/51d17532025b87fd7d6eafa6ca87fa23df4b800d/claripy/backends/backend_smtlib_solvers/__init__.py#L10

`Bits`' `__init__` changes `.length` after hashes are calculated

6

When creating a `Bits` AST object, the `__init__` function sets `self.length`; in some cases this does not change anything, but in some cases the newly set length is different from...

Official docker image

7

Would you be open to a PR that auto-publishes a docker build of this to with the image tag `gchr.io/RosettaCommons/binder` on updates to master? Right now I'm manually maintaining [zwimer/binder](https://hub.docker.com/r/zwimer/binder);...

The documentation has a bad reference

1

This should hopefully fix > To statically compile binder, see [With Docker](https://cppbinder.readthedocs.io/en/latest/install.html#building-static). With > To statically compile binder, see [Building Statically (Linux only)](https://cppbinder.readthedocs.io/en/latest/install.html#building-static).

Pre post increment ops renamed

1

This is a feature add that also fixes the same bugs that https://github.com/RosettaCommons/binder/pull/237 fixes (as the code introduced in https://github.com/RosettaCommons/binder/pull/237 made it easy to add this feature). It addresses https://github.com/RosettaCommons/binder/issues/226

Literal operator bound oddly

2

When binding user-defined literal operators, binder seems to give undesired result. Consider: ``` namespace Test { struct A { int a; }; inline A operator"" _a(const char * const c,...

Post/Pre increment/decrement operator confusion

2

Both `++a` and `a++` map to `plus_plus`, though as one the differentiation between them still exists via different overrides. That is `++a` maps to `plus_plus()` and `a++` to `plus_plus(0)`; which...