Preview

.gitignore
51 Bytes
Cargo.lock
11.5 kB
Cargo.toml
323 Bytes
README.md
8.3 kB
rustfmt.toml
91 Bytes
src
- abstract_domain.rs
  87.4 kB
- analyzer
  - constraints.rs
    9.1 kB
  - memory.rs
    18.5 kB
  - state.rs
    17.7 kB
- analyzer.rs
  146.6 kB
- bin
- cfg.rs
  32.5 kB
- main.rs
  48.9 kB
tests
- Makefile
  1.1 kB
- c_src
  - big_loop.c
    497 Bytes
  - cond_branch.c
    487 Bytes
  - masked_index.c
    484 Bytes
  - medium_loop.c
    423 Bytes
  - mixed_sizes.c
    578 Bytes
  - nested_calls.c
    339 Bytes
  - recursive.c
    450 Bytes
  - simple_add.c
    188 Bytes
  - small_loop.c
    368 Bytes
  - static_array.c
    324 Bytes
- compile-c.sh
  598 Bytes
- compile-rs.sh
  841 Bytes
- rs_src
  - big_loop.rs
    798 Bytes
  - cond_branch.rs
    629 Bytes
  - masked_index.rs
    655 Bytes
  - medium_loop.rs
    665 Bytes
  - mixed_sizes.rs
    802 Bytes
  - nested_calls.rs
    475 Bytes
  - recursive.rs
    595 Bytes
  - simple_add.rs
    316 Bytes
  - small_loop.rs
    558 Bytes
  - static_array.rs
    444 Bytes
- test-all.sh
  955 Bytes