OCamlPro/owi

Issues

• experiment with partial solution based constraint solving cache

  #473 opened 3 days ago by zapashcanon
  1

• mesure memory usage in benchmarks

  #478 opened 11 hours ago by zapashcanon
  0

• experiment with constraint solving time prediction

  #472 opened 3 days ago by zapashcanon
  0

• experiment with "symbolic branch prediction" to avoid solver calls?

  #477 opened 3 days ago by zapashcanon
  0

• experiment with chopped symbolic execution

  #476 opened 3 days ago by zapashcanon
  0

• experiment with replacing bitvectors by integers theory

  #475 opened 3 days ago by zapashcanon
  0

• experiment with a multi-interval theory

  #474 opened 3 days ago by zapashcanon
  0

• experiment SE+fuzzing by function level selective symbolization

  #471 opened 3 days ago by zapashcanon
  0

• experiment with parallel SMT solving

  #470 opened 3 days ago by zapashcanon
  0

• ideas of constraint problems

  #468 opened 16 days ago by zapashcanon
  0

• use prelude in the fuzzer too

  #466 opened a month ago by zapashcanon
  0

• make a nixos package

  #459 opened 2 months ago by zapashcanon
  0

• add an option to display progress

  #458 opened 2 months ago by zapashcanon
  0

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

  #411 opened 2 months ago by zapashcanon
  0

• fix some error messages to pass the custom annotation proposal tests

  #456 opened 2 months ago by zapashcanon
  0

• investigate which dependency is turning on backtraces

  #455 opened 2 months ago by zapashcanon
  0

• abstract interpretation of Wasm

  #454 opened 2 months ago by zapashcanon
  0

• try to use a Map.t instead of Hashtbl for the memory model

  #453 opened 2 months ago by zapashcanon
  0

• display the bench results

  #452 opened 2 months ago by zapashcanon
  0

• add a comparison with other tools

  #451 opened 2 months ago by zapashcanon
  0

• split the doc between bug finding and constraint programming

  #449 opened 2 months ago by zapashcanon
  0

• add a list of bugs found by owi

  #448 opened 2 months ago by zapashcanon
  0

• add a --constraint-programming flag that would expose a different API

  #450 opened 2 months ago by zapashcanon
  0

• try to break obfuscator with symbolic execution

  #423 opened 5 months ago by zapashcanon
  0

• compare to wasm-tools

  #440 opened 4 months ago by zapashcanon
  0

• add a `owi rust` subcommand

  #439 opened 4 months ago by zapashcanon
  0

• benchmark with Wasm-R3 produced benchmarks

  #438 opened 4 months ago by zapashcanon
  0

• make a proper symbolic libc

  #437 opened 4 months ago by zapashcanon
  2

• use snapshottable store for heap locations ?

  #431 opened 5 months ago by zapashcanon
  0

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

  #436 opened 4 months ago by zapashcanon
  0

• implement compaction in the lazy memory model

  #434 opened 5 months ago by zapashcanon
  3

• try to reduce the dependencies needed for e-acsl

  #428 opened 5 months ago by zapashcanon
  1

• write a symbolic execution debugger

  #432 opened 5 months ago by zapashcanon
  1

• write a profiler using eBPF, USDT and bpftrace

  #429 opened 5 months ago by zapashcanon
  0

• improve short-circuiting of logical operators in C

  #430 opened 5 months ago by zapashcanon
  0

• checking unbounded quantification

  #425 opened 5 months ago by Laplace-Demon
  4

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

  #424 opened 5 months ago by krtab
  2

• remove simplification once it has been moved to smtml

  #422 opened 5 months ago by zapashcanon
  0

• add `owi cpp` subcommand

  #377 opened 6 months ago by zapashcanon
  0

• [Concolic] `select_i32` does not branch.

  #410 opened 5 months ago by filipeom
  0

• write a mutator

  #409 opened 5 months ago by zapashcanon
  0

• segfault during symbolic execution

  #387 opened 6 months ago by Laplace-Demon
  9

• Clang parsing error in testcomp

  #386 opened 6 months ago by filipeom
  3

• add `owi_char` function to the C ffi ?

  #381 opened 6 months ago by zapashcanon
  1

• Document Synchronizer module

  #363 opened 6 months ago by krtab
  0

• add a `owi_bool` function

  #374 opened 6 months ago by zapashcanon
  2

• improve the fuzzer

  #369 opened 6 months ago by zapashcanon
  0

• unimplemented symbolic instructions

  #378 opened 6 months ago by zapashcanon
  2

• add an obfuscator

  #372 opened 6 months ago by zapashcanon
  0

• Reachability analysis

  #370 opened 6 months ago by zapashcanon
  0