filipeom

Unecessary hc lookups in the symbolic memory

3

When loading multiple bytes from memory, I consistently create sub-expressions while concatenating bytes. This practice results in unnecessary hc lookups in the problematic code found at: https://github.com/OCamlPro/owi/blob/d70d88c34d84e91e0f8e795929b23dba60154b88/src/symbolic_memory.ml#L106-L119 For example, when...

Trim explored paths and enable collections-c for owi conc

5

This PR brings #351 along with a few changes to concolic execution to address infinite loops. The code might be a bit messy, so we may want to consider if...

Draft

Simplify out_of_bounds checks

10

This also fixed some benchmarks of #273

Remove missing license warning when pinning with opam

1

To remove the: ``` warning 68: Missing field 'license' ``` When using `opam pin` or `opam lint`. I know this PR might seem nitpicky, but that's not the intention. I'm...

Symbiotic stuff if you want to add it

During concolic execution `select_i32` should record some sort of range or bounds of the value given to it in order to branch properly and explore all the paths.

Infinite loop in `OS.Dir.create ~path:true`

4

Passing an unnormalized path, such as `a/b/./c` to `OS.Dir.create ~path:true` when `b` doesn't exist causes `create` to loop indefinitely until it blows up. Proof of concept below: ```ocaml let ()...

Use `wait4` and measure memory usage of children in the runner

11

Should Close #478 The PR is not ready yet, I still have to format the code, remove some comments, and I'm going to split this into two commits: one which...