OCamlPro/owi

Issues

• try to break obfuscator with symbolic execution

  #423 opened 3 months ago by zapashcanon
  0

• compare to wasm-tools

  #440 opened 2 months ago by zapashcanon
  0

• add a `owi rust` subcommand

  #439 opened 2 months ago by zapashcanon
  0

• benchmark with Wasm-R3 produced benchmarks

  #438 opened 2 months ago by zapashcanon
  0

• make a proper symbolic libc

  #437 opened 2 months ago by zapashcanon
  2

• use snapshottable store for heap locations ?

  #431 opened 2 months ago by zapashcanon
  0

• add ocaml code to benchmark wasm code through the btree dataset

  #436 opened 2 months ago by zapashcanon
  0

• implement compaction in the lazy memory model

  #434 opened 2 months ago by zapashcanon
  3

• try to reduce the dependencies needed for e-acsl

  #428 opened 2 months ago by zapashcanon
  1

• write a symbolic execution debugger

  #432 opened 2 months ago by zapashcanon
  1

• write a profiler using eBPF, USDT and bpftrace

  #429 opened 2 months ago by zapashcanon
  0

• improve short-circuiting of logical operators in C

  #430 opened 2 months ago by zapashcanon
  0

• checking unbounded quantification

  #425 opened 3 months ago by Laplace-Demon
  4

• Massive slowdown and weird number of symbols when doing symbolic allocations

  #424 opened 3 months ago by krtab
  2

• remove simplification once it has been moved to smtml

  #422 opened 3 months ago by zapashcanon
  0

• concolic assert failure but no model

  #311 opened 3 months ago by zapashcanon
  3

• add an "--add-assert-to-assume" option

  #359 opened 4 months ago by Laplace-Demon
  1

• add `owi cpp` subcommand

  #377 opened 4 months ago by zapashcanon
  0

• add an option `--no-assert-failure-expression-printing`

  #411 opened 3 months ago by zapashcanon
  0

• [Concolic] `select_i32` does not branch.

  #410 opened 3 months ago by filipeom
  0

• write a mutator

  #409 opened 3 months ago by zapashcanon
  0

• segfault during symbolic execution

  #387 opened 4 months ago by Laplace-Demon
  9

• add an option to stop looking for a model only if an assertion failure is found but not a Wasm trap

  #273 opened 3 months ago by zapashcanon
  0

• Clang parsing error in testcomp

  #386 opened 3 months ago by filipeom
  3

• add `owi_char` function to the C ffi ?

  #381 opened 3 months ago by zapashcanon
  1

• MacOS CI is broken

  #346 opened 4 months ago by krtab
  0

• new test not passing: got: f32.const 0 expected: (f32.const 666.599_975_585_937_5) bad result

  #280 opened 4 months ago by zapashcanon
  1

• new test not passing: unexpected token "\"(func (export \"f1\") (result i32)\""

  #278 opened 4 months ago by zapashcanon
  3

• [script] quote module are overly restricted to be in assert_malformed and assert_invalid

  #329 opened 4 months ago by krtab
  2

• new test not passing: unbound name 4294967249

  #279 opened 4 months ago by zapashcanon
  1

• Document Synchronizer module

  #363 opened 4 months ago by krtab
  0

• add dietlibc licence and copyright related stuff

  #349 opened 4 months ago by zapashcanon
  0

• add a retry mechanism when the process is killed

  #327 opened 5 months ago by zapashcanon
  0

• proper separation of text_to_binary (group+assign+rewrite) and validation

  #344 opened 4 months ago by zapashcanon
  0

• add a `owi_bool` function

  #374 opened 4 months ago by zapashcanon
  2

• Z3 is installed on system but get error "Failure("Z3 not installed")"

  #332 opened 4 months ago by Shawdox
  9

• add a `owi llvm` or `owi bc` command

  #300 opened 5 months ago by zapashcanon
  0

• improve the fuzzer

  #369 opened 4 months ago by zapashcanon
  0

• unimplemented symbolic instructions

  #378 opened 4 months ago by zapashcanon
  2

• add an obfuscator

  #372 opened 4 months ago by zapashcanon
  0

• Reachability analysis

  #370 opened 4 months ago by zapashcanon
  0

• add a `wasm2c` command

  #358 opened 4 months ago by zapashcanon
  0

• ocamlformat is installed too late in CI and is not cached

  #354 opened 4 months ago by zapashcanon
  0

• concolic failures

  #312 opened 5 months ago by zapashcanon
  8

• new test not passing: `expected malformed memop flags but there was no error`

  #343 opened 4 months ago by zapashcanon
  0

• new test not passing: `expected alignment must not be larger than natural but there was no error`

  #277 opened 4 months ago by zapashcanon
  2

• fmt: improve printing of func types

  #330 opened 5 months ago by zapashcanon
  0

• dune build @doc fails from cleaned state

  #325 opened 5 months ago by krtab
  0

• concolic example is broken

  #303 opened 5 months ago by zapashcanon
  0

• something is wrong with memory handling in concolic mode

  #282 opened 5 months ago by zapashcanon
  2