Michael Mera

wrong _pfp__offset for primitive array items

1

## Describe the bug I found this problem while looking for template parts at specific offsets. All items inside a `pfp.fields.Array` containing Int/Float elements have a `_pfp__offset` of `0`, instead...

provide tooling similar to AFL++ for building PUTs

3

The main idea would be to provide a drop-in compiler wrapper that performs the instrumentation of the PUT within its native build. This would be similar to [LibAFL CC](https://github.com/AFLplusplus/LibAFL/tree/main/libafl_cc) provided...

failure when trying to parse expressions containing nested `and`-`not` in prefix notation

1

Here is a file reproducing the problem: ```Python # isla_and_not.py from isla.language import parse_isla if __name__ == "__main__": parse_isla('(and (= "a") (= "b"))') # no not -> ok parse_isla('(not (=...

inconsistent result for evaluate()/solve() when changing order of variables and constants in (+) operands

1

Here is a file reproducing the problem. It does two times the same computation, just inverting the order of the operands of `(+)`: ```Python # isla_add_order.py from isla.type_defs import Grammar...

This PR includes the *quickstart* and *getting started* guides, as well as some usability fixes.

**NOTE:** This PR is an attempt to restrict the scope of PR #282 by extracting the commits laying the groundwork for the architectural changes. This PR introduces the C harness...

There are several harcoded paths to absolute and/or machine-dependent locations. In order to make scripts and tests more independent of our internal setup, we should provide alternatives, for example using...