├── .cargo └── config.toml ├── .github └── workflows │ ├── build.yml │ ├── crates.yml │ └── rust.yml ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── Cross.toml ├── LICENSE ├── README.md ├── arch └── x64 │ ├── build-vmimage │ ├── .gitignore │ ├── Cargo.toml │ ├── src │ │ └── main.rs │ └── vmimage-x86-64 │ │ ├── .cargo │ │ └── config.toml │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── gdb.sh │ │ ├── link.x │ │ ├── src │ │ ├── allocator.rs │ │ ├── gdt.rs │ │ ├── interrupts.rs │ │ ├── lib.rs │ │ ├── main.rs │ │ ├── memory.rs │ │ ├── observer.rs │ │ ├── pci.rs │ │ ├── queue.rs │ │ ├── serial.rs │ │ ├── timer.rs │ │ └── userspace.rs │ │ └── tests │ │ ├── basic_boot.rs │ │ ├── heap_allocation.rs │ │ ├── should_panic.rs │ │ └── stack_overflow.rs │ ├── liblisa-x64-observer-shmqueue │ ├── Cargo.toml │ └── src │ │ ├── frame │ │ ├── command.rs │ │ ├── control.rs │ │ └── mod.rs │ │ ├── lib.rs │ │ ├── queue.rs │ │ └── regs.rs │ └── liblisa-x64-observer │ ├── Cargo.toml │ ├── benches │ ├── oracle.rs │ └── vm.rs │ ├── examples │ ├── multitest.rs │ ├── test-qemu-mem-spdi.rs │ ├── test-qemu-spdi.rs │ ├── test.rs │ └── undocumented.rs │ ├── image │ └── .gitignore │ └── src │ ├── lib.rs │ ├── selftest.rs │ └── vm.rs ├── cli ├── liblisa-libcli │ ├── Cargo.toml │ └── src │ │ ├── detect_changes.rs │ │ ├── enumerate.rs │ │ ├── infer_accesses.rs │ │ ├── infer_dataflows.rs │ │ ├── infer_encoding.rs │ │ ├── infer_validity.rs │ │ ├── lib.rs │ │ ├── observe.rs │ │ ├── quick_enumerate.rs │ │ ├── synthesize.rs │ │ ├── synthesize_encoding.rs │ │ └── threadpool │ │ ├── cache.rs │ │ ├── cpu.rs │ │ ├── enumeration.rs │ │ ├── mod.rs │ │ ├── oracle.rs │ │ ├── synthesis.rs │ │ └── work.rs ├── liblisa-semantics-tool │ ├── Cargo.toml │ ├── README.md │ └── src │ │ ├── arch_compare.rs │ │ ├── main.rs │ │ ├── merge.rs │ │ ├── progress.rs │ │ └── server.rs └── liblisa-x64 │ ├── Cargo.toml │ └── src │ └── main.rs ├── crates.io_version_check.sh ├── crossbuild ├── arm64 │ └── Dockerfile └── x64-stretch │ ├── .gitignore │ ├── build.sh │ └── docker │ └── Dockerfile ├── github_artifact_upload.sh ├── liblisa-enc ├── Cargo.toml ├── benches │ ├── accesses.rs │ ├── dataflow.rs │ ├── observe.rs │ ├── skip.rs │ └── validity.rs └── src │ ├── accesses │ ├── computation.rs │ └── mod.rs │ ├── cache.rs │ ├── changes │ ├── addrs.rs │ ├── imm.rs │ ├── inputs.rs │ ├── mod.rs │ └── outputs.rs │ ├── cleanup │ ├── accesses.rs │ ├── bits.rs │ ├── dontcare.rs │ ├── generalizations.rs │ └── mod.rs │ ├── dataflow │ ├── analyzer.rs │ ├── flow.rs │ ├── fuzz.rs │ ├── mod.rs │ ├── results.rs │ └── spec.rs │ ├── encoding.rs │ ├── lib.rs │ ├── skip │ ├── mod.rs │ ├── random_search.rs │ └── tunnel.rs │ └── validity.rs ├── liblisa-synth ├── Cargo.toml ├── benches │ ├── template_synthesis.rs │ └── term_searcher.rs └── src │ ├── cond │ ├── cache.rs │ ├── caselist.rs │ ├── casemap.rs │ ├── combine_simple.rs │ ├── combiner.rs │ ├── input_hash.rs │ ├── isomorphisms.rs │ ├── mod.rs │ ├── switch.rs │ ├── synthesizer.rs │ └── transitions.rs │ ├── gen.rs │ ├── lib.rs │ ├── normalizer.rs │ ├── output.rs │ ├── predicate.rs │ ├── search │ ├── exprsearcher.rs │ ├── mod.rs │ ├── searcher.rs │ └── termsearcher.rs │ ├── synthesis_loop.rs │ ├── templates │ ├── mod.rs │ ├── normalize_filter.rs │ ├── ordering.rs │ ├── preprocess.rs │ └── symexec.rs │ ├── tree │ ├── expr_finder │ │ ├── bitmap_mcs.rs │ │ ├── greedy.rs │ │ ├── mcs.rs │ │ └── mod.rs │ ├── mapping.rs │ ├── mod.rs │ └── synthesizer.rs │ ├── utils │ ├── delta_vec.rs │ └── mod.rs │ └── write_order.rs ├── liblisa ├── Cargo.toml ├── README.md ├── benches │ ├── bitmap.rs │ ├── find-differences.rs │ ├── instantiation.rs │ ├── randomization.rs │ ├── system-state.rs │ ├── terms.rs │ └── utils.rs ├── examples │ └── liblisa-encoding-to-z3.rs └── src │ ├── arch │ ├── fake.rs │ ├── mod.rs │ ├── scope.rs │ ├── undef.rs │ └── x64 │ │ ├── disasm.rs │ │ ├── mod.rs │ │ └── undef │ │ ├── mod.rs │ │ └── xed_convert.rs │ ├── compare │ ├── addresses.rs │ ├── computations.rs │ ├── group.rs │ ├── mapping.rs │ ├── mod.rs │ ├── rows.rs │ ├── split.rs │ └── summary.rs │ ├── encoding │ ├── bitpattern │ │ ├── locs.rs │ │ └── mod.rs │ ├── dataflows │ │ ├── accesses.rs │ │ ├── address_computation.rs │ │ ├── inputs.rs │ │ ├── locs.rs │ │ └── mod.rs │ ├── display.rs │ ├── indexed.rs │ ├── mcs.rs │ ├── merge │ │ ├── mod.rs │ │ ├── semantical.rs │ │ └── structural.rs │ └── mod.rs │ ├── instr │ ├── counter.rs │ ├── extended.rs │ ├── filter.rs │ ├── filter_mcs.rs │ ├── map.rs │ ├── mod.rs │ ├── select_covering_set8.txt │ ├── set.rs │ └── tree.rs │ ├── lib.rs │ ├── oracle │ ├── careful.rs │ ├── counter.rs │ ├── iter.rs │ ├── mod.rs │ └── verifier.rs │ ├── semantics │ ├── default │ │ ├── builder.rs │ │ ├── codegen │ │ │ ├── mod.rs │ │ │ ├── sexpr.rs │ │ │ └── smt.rs │ │ ├── computation.rs │ │ ├── mod.rs │ │ ├── ops.rs │ │ └── smtgen.rs │ └── mod.rs │ ├── smt │ ├── cache.rs │ ├── mod.rs │ ├── solver.rs │ ├── tree.rs │ └── z3 │ │ ├── mod.rs │ │ └── tests │ │ ├── computations.rs │ │ ├── equivalence.rs │ │ └── mod.rs │ ├── state │ ├── addr.rs │ ├── byteview.rs │ ├── jit │ │ ├── complex.rs │ │ ├── gpreg.rs │ │ ├── mod.rs │ │ └── simple.rs │ ├── locs.rs │ ├── memory.rs │ ├── mod.rs │ ├── random │ │ ├── mod.rs │ │ └── value.rs │ └── split_dests.rs │ ├── utils │ ├── bitmap │ │ ├── fixed.rs │ │ ├── growing.rs │ │ ├── mod.rs │ │ └── tiny.rs │ ├── cmov.rs │ ├── iter.rs │ ├── matrix.rs │ ├── mcs │ │ ├── bfs.rs │ │ └── mod.rs │ ├── min_cover_with_exclusions.rs │ ├── minisat.rs │ └── mod.rs │ └── value.rs └── rustfmt.toml /.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/.cargo/config.toml -------------------------------------------------------------------------------- /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.github/workflows/crates.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/.github/workflows/crates.yml -------------------------------------------------------------------------------- /.github/workflows/rust.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/.github/workflows/rust.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/Cargo.toml -------------------------------------------------------------------------------- /Cross.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/Cross.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/README.md -------------------------------------------------------------------------------- /arch/x64/build-vmimage/.gitignore: -------------------------------------------------------------------------------- 1 | image/ -------------------------------------------------------------------------------- /arch/x64/build-vmimage/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/Cargo.toml -------------------------------------------------------------------------------- /arch/x64/build-vmimage/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/src/main.rs -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/.cargo/config.toml -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/Cargo.lock -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/Cargo.toml -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/gdb.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/gdb.sh -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/link.x: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/link.x -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/src/allocator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/src/allocator.rs -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/src/gdt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/src/gdt.rs -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/src/interrupts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/src/interrupts.rs -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/src/lib.rs -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/src/main.rs -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/src/memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/src/memory.rs -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/src/observer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/src/observer.rs -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/src/pci.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/src/pci.rs -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/src/queue.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/src/queue.rs -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/src/serial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/src/serial.rs -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/src/timer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/src/timer.rs -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/src/userspace.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/src/userspace.rs -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/tests/basic_boot.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/tests/basic_boot.rs -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/tests/heap_allocation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/tests/heap_allocation.rs -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/tests/should_panic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/tests/should_panic.rs -------------------------------------------------------------------------------- /arch/x64/build-vmimage/vmimage-x86-64/tests/stack_overflow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/build-vmimage/vmimage-x86-64/tests/stack_overflow.rs -------------------------------------------------------------------------------- /arch/x64/liblisa-x64-observer-shmqueue/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/liblisa-x64-observer-shmqueue/Cargo.toml -------------------------------------------------------------------------------- /arch/x64/liblisa-x64-observer-shmqueue/src/frame/command.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/liblisa-x64-observer-shmqueue/src/frame/command.rs -------------------------------------------------------------------------------- /arch/x64/liblisa-x64-observer-shmqueue/src/frame/control.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/liblisa-x64-observer-shmqueue/src/frame/control.rs -------------------------------------------------------------------------------- /arch/x64/liblisa-x64-observer-shmqueue/src/frame/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/liblisa-x64-observer-shmqueue/src/frame/mod.rs -------------------------------------------------------------------------------- /arch/x64/liblisa-x64-observer-shmqueue/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/liblisa-x64-observer-shmqueue/src/lib.rs -------------------------------------------------------------------------------- /arch/x64/liblisa-x64-observer-shmqueue/src/queue.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/liblisa-x64-observer-shmqueue/src/queue.rs -------------------------------------------------------------------------------- /arch/x64/liblisa-x64-observer-shmqueue/src/regs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/liblisa-x64-observer-shmqueue/src/regs.rs -------------------------------------------------------------------------------- /arch/x64/liblisa-x64-observer/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/liblisa-x64-observer/Cargo.toml -------------------------------------------------------------------------------- /arch/x64/liblisa-x64-observer/benches/oracle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/liblisa-x64-observer/benches/oracle.rs -------------------------------------------------------------------------------- /arch/x64/liblisa-x64-observer/benches/vm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/liblisa-x64-observer/benches/vm.rs -------------------------------------------------------------------------------- /arch/x64/liblisa-x64-observer/examples/multitest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/liblisa-x64-observer/examples/multitest.rs -------------------------------------------------------------------------------- /arch/x64/liblisa-x64-observer/examples/test-qemu-mem-spdi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/liblisa-x64-observer/examples/test-qemu-mem-spdi.rs -------------------------------------------------------------------------------- /arch/x64/liblisa-x64-observer/examples/test-qemu-spdi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/liblisa-x64-observer/examples/test-qemu-spdi.rs -------------------------------------------------------------------------------- /arch/x64/liblisa-x64-observer/examples/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/liblisa-x64-observer/examples/test.rs -------------------------------------------------------------------------------- /arch/x64/liblisa-x64-observer/examples/undocumented.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/liblisa-x64-observer/examples/undocumented.rs -------------------------------------------------------------------------------- /arch/x64/liblisa-x64-observer/image/.gitignore: -------------------------------------------------------------------------------- 1 | *.img -------------------------------------------------------------------------------- /arch/x64/liblisa-x64-observer/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/liblisa-x64-observer/src/lib.rs -------------------------------------------------------------------------------- /arch/x64/liblisa-x64-observer/src/selftest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/liblisa-x64-observer/src/selftest.rs -------------------------------------------------------------------------------- /arch/x64/liblisa-x64-observer/src/vm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/arch/x64/liblisa-x64-observer/src/vm.rs -------------------------------------------------------------------------------- /cli/liblisa-libcli/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-libcli/Cargo.toml -------------------------------------------------------------------------------- /cli/liblisa-libcli/src/detect_changes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-libcli/src/detect_changes.rs -------------------------------------------------------------------------------- /cli/liblisa-libcli/src/enumerate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-libcli/src/enumerate.rs -------------------------------------------------------------------------------- /cli/liblisa-libcli/src/infer_accesses.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-libcli/src/infer_accesses.rs -------------------------------------------------------------------------------- /cli/liblisa-libcli/src/infer_dataflows.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-libcli/src/infer_dataflows.rs -------------------------------------------------------------------------------- /cli/liblisa-libcli/src/infer_encoding.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-libcli/src/infer_encoding.rs -------------------------------------------------------------------------------- /cli/liblisa-libcli/src/infer_validity.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-libcli/src/infer_validity.rs -------------------------------------------------------------------------------- /cli/liblisa-libcli/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-libcli/src/lib.rs -------------------------------------------------------------------------------- /cli/liblisa-libcli/src/observe.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-libcli/src/observe.rs -------------------------------------------------------------------------------- /cli/liblisa-libcli/src/quick_enumerate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-libcli/src/quick_enumerate.rs -------------------------------------------------------------------------------- /cli/liblisa-libcli/src/synthesize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-libcli/src/synthesize.rs -------------------------------------------------------------------------------- /cli/liblisa-libcli/src/synthesize_encoding.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-libcli/src/synthesize_encoding.rs -------------------------------------------------------------------------------- /cli/liblisa-libcli/src/threadpool/cache.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-libcli/src/threadpool/cache.rs -------------------------------------------------------------------------------- /cli/liblisa-libcli/src/threadpool/cpu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-libcli/src/threadpool/cpu.rs -------------------------------------------------------------------------------- /cli/liblisa-libcli/src/threadpool/enumeration.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-libcli/src/threadpool/enumeration.rs -------------------------------------------------------------------------------- /cli/liblisa-libcli/src/threadpool/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-libcli/src/threadpool/mod.rs -------------------------------------------------------------------------------- /cli/liblisa-libcli/src/threadpool/oracle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-libcli/src/threadpool/oracle.rs -------------------------------------------------------------------------------- /cli/liblisa-libcli/src/threadpool/synthesis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-libcli/src/threadpool/synthesis.rs -------------------------------------------------------------------------------- /cli/liblisa-libcli/src/threadpool/work.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-libcli/src/threadpool/work.rs -------------------------------------------------------------------------------- /cli/liblisa-semantics-tool/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-semantics-tool/Cargo.toml -------------------------------------------------------------------------------- /cli/liblisa-semantics-tool/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-semantics-tool/README.md -------------------------------------------------------------------------------- /cli/liblisa-semantics-tool/src/arch_compare.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-semantics-tool/src/arch_compare.rs -------------------------------------------------------------------------------- /cli/liblisa-semantics-tool/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-semantics-tool/src/main.rs -------------------------------------------------------------------------------- /cli/liblisa-semantics-tool/src/merge.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-semantics-tool/src/merge.rs -------------------------------------------------------------------------------- /cli/liblisa-semantics-tool/src/progress.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-semantics-tool/src/progress.rs -------------------------------------------------------------------------------- /cli/liblisa-semantics-tool/src/server.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-semantics-tool/src/server.rs -------------------------------------------------------------------------------- /cli/liblisa-x64/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-x64/Cargo.toml -------------------------------------------------------------------------------- /cli/liblisa-x64/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/cli/liblisa-x64/src/main.rs -------------------------------------------------------------------------------- /crates.io_version_check.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/crates.io_version_check.sh -------------------------------------------------------------------------------- /crossbuild/arm64/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/crossbuild/arm64/Dockerfile -------------------------------------------------------------------------------- /crossbuild/x64-stretch/.gitignore: -------------------------------------------------------------------------------- 1 | out/* -------------------------------------------------------------------------------- /crossbuild/x64-stretch/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/crossbuild/x64-stretch/build.sh -------------------------------------------------------------------------------- /crossbuild/x64-stretch/docker/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/crossbuild/x64-stretch/docker/Dockerfile -------------------------------------------------------------------------------- /github_artifact_upload.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/github_artifact_upload.sh -------------------------------------------------------------------------------- /liblisa-enc/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/Cargo.toml -------------------------------------------------------------------------------- /liblisa-enc/benches/accesses.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/benches/accesses.rs -------------------------------------------------------------------------------- /liblisa-enc/benches/dataflow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/benches/dataflow.rs -------------------------------------------------------------------------------- /liblisa-enc/benches/observe.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/benches/observe.rs -------------------------------------------------------------------------------- /liblisa-enc/benches/skip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/benches/skip.rs -------------------------------------------------------------------------------- /liblisa-enc/benches/validity.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/benches/validity.rs -------------------------------------------------------------------------------- /liblisa-enc/src/accesses/computation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/accesses/computation.rs -------------------------------------------------------------------------------- /liblisa-enc/src/accesses/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/accesses/mod.rs -------------------------------------------------------------------------------- /liblisa-enc/src/cache.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/cache.rs -------------------------------------------------------------------------------- /liblisa-enc/src/changes/addrs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/changes/addrs.rs -------------------------------------------------------------------------------- /liblisa-enc/src/changes/imm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/changes/imm.rs -------------------------------------------------------------------------------- /liblisa-enc/src/changes/inputs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/changes/inputs.rs -------------------------------------------------------------------------------- /liblisa-enc/src/changes/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/changes/mod.rs -------------------------------------------------------------------------------- /liblisa-enc/src/changes/outputs.rs: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /liblisa-enc/src/cleanup/accesses.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/cleanup/accesses.rs -------------------------------------------------------------------------------- /liblisa-enc/src/cleanup/bits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/cleanup/bits.rs -------------------------------------------------------------------------------- /liblisa-enc/src/cleanup/dontcare.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/cleanup/dontcare.rs -------------------------------------------------------------------------------- /liblisa-enc/src/cleanup/generalizations.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/cleanup/generalizations.rs -------------------------------------------------------------------------------- /liblisa-enc/src/cleanup/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/cleanup/mod.rs -------------------------------------------------------------------------------- /liblisa-enc/src/dataflow/analyzer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/dataflow/analyzer.rs -------------------------------------------------------------------------------- /liblisa-enc/src/dataflow/flow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/dataflow/flow.rs -------------------------------------------------------------------------------- /liblisa-enc/src/dataflow/fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/dataflow/fuzz.rs -------------------------------------------------------------------------------- /liblisa-enc/src/dataflow/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/dataflow/mod.rs -------------------------------------------------------------------------------- /liblisa-enc/src/dataflow/results.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/dataflow/results.rs -------------------------------------------------------------------------------- /liblisa-enc/src/dataflow/spec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/dataflow/spec.rs -------------------------------------------------------------------------------- /liblisa-enc/src/encoding.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/encoding.rs -------------------------------------------------------------------------------- /liblisa-enc/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/lib.rs -------------------------------------------------------------------------------- /liblisa-enc/src/skip/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/skip/mod.rs -------------------------------------------------------------------------------- /liblisa-enc/src/skip/random_search.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/skip/random_search.rs -------------------------------------------------------------------------------- /liblisa-enc/src/skip/tunnel.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/skip/tunnel.rs -------------------------------------------------------------------------------- /liblisa-enc/src/validity.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-enc/src/validity.rs -------------------------------------------------------------------------------- /liblisa-synth/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/Cargo.toml -------------------------------------------------------------------------------- /liblisa-synth/benches/template_synthesis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/benches/template_synthesis.rs -------------------------------------------------------------------------------- /liblisa-synth/benches/term_searcher.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/benches/term_searcher.rs -------------------------------------------------------------------------------- /liblisa-synth/src/cond/cache.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/cond/cache.rs -------------------------------------------------------------------------------- /liblisa-synth/src/cond/caselist.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/cond/caselist.rs -------------------------------------------------------------------------------- /liblisa-synth/src/cond/casemap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/cond/casemap.rs -------------------------------------------------------------------------------- /liblisa-synth/src/cond/combine_simple.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/cond/combine_simple.rs -------------------------------------------------------------------------------- /liblisa-synth/src/cond/combiner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/cond/combiner.rs -------------------------------------------------------------------------------- /liblisa-synth/src/cond/input_hash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/cond/input_hash.rs -------------------------------------------------------------------------------- /liblisa-synth/src/cond/isomorphisms.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/cond/isomorphisms.rs -------------------------------------------------------------------------------- /liblisa-synth/src/cond/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/cond/mod.rs -------------------------------------------------------------------------------- /liblisa-synth/src/cond/switch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/cond/switch.rs -------------------------------------------------------------------------------- /liblisa-synth/src/cond/synthesizer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/cond/synthesizer.rs -------------------------------------------------------------------------------- /liblisa-synth/src/cond/transitions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/cond/transitions.rs -------------------------------------------------------------------------------- /liblisa-synth/src/gen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/gen.rs -------------------------------------------------------------------------------- /liblisa-synth/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/lib.rs -------------------------------------------------------------------------------- /liblisa-synth/src/normalizer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/normalizer.rs -------------------------------------------------------------------------------- /liblisa-synth/src/output.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/output.rs -------------------------------------------------------------------------------- /liblisa-synth/src/predicate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/predicate.rs -------------------------------------------------------------------------------- /liblisa-synth/src/search/exprsearcher.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/search/exprsearcher.rs -------------------------------------------------------------------------------- /liblisa-synth/src/search/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/search/mod.rs -------------------------------------------------------------------------------- /liblisa-synth/src/search/searcher.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/search/searcher.rs -------------------------------------------------------------------------------- /liblisa-synth/src/search/termsearcher.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/search/termsearcher.rs -------------------------------------------------------------------------------- /liblisa-synth/src/synthesis_loop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/synthesis_loop.rs -------------------------------------------------------------------------------- /liblisa-synth/src/templates/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/templates/mod.rs -------------------------------------------------------------------------------- /liblisa-synth/src/templates/normalize_filter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/templates/normalize_filter.rs -------------------------------------------------------------------------------- /liblisa-synth/src/templates/ordering.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/templates/ordering.rs -------------------------------------------------------------------------------- /liblisa-synth/src/templates/preprocess.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/templates/preprocess.rs -------------------------------------------------------------------------------- /liblisa-synth/src/templates/symexec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/templates/symexec.rs -------------------------------------------------------------------------------- /liblisa-synth/src/tree/expr_finder/bitmap_mcs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/tree/expr_finder/bitmap_mcs.rs -------------------------------------------------------------------------------- /liblisa-synth/src/tree/expr_finder/greedy.rs: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /liblisa-synth/src/tree/expr_finder/mcs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/tree/expr_finder/mcs.rs -------------------------------------------------------------------------------- /liblisa-synth/src/tree/expr_finder/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/tree/expr_finder/mod.rs -------------------------------------------------------------------------------- /liblisa-synth/src/tree/mapping.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/tree/mapping.rs -------------------------------------------------------------------------------- /liblisa-synth/src/tree/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/tree/mod.rs -------------------------------------------------------------------------------- /liblisa-synth/src/tree/synthesizer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/tree/synthesizer.rs -------------------------------------------------------------------------------- /liblisa-synth/src/utils/delta_vec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/utils/delta_vec.rs -------------------------------------------------------------------------------- /liblisa-synth/src/utils/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/utils/mod.rs -------------------------------------------------------------------------------- /liblisa-synth/src/write_order.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa-synth/src/write_order.rs -------------------------------------------------------------------------------- /liblisa/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/Cargo.toml -------------------------------------------------------------------------------- /liblisa/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/README.md -------------------------------------------------------------------------------- /liblisa/benches/bitmap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/benches/bitmap.rs -------------------------------------------------------------------------------- /liblisa/benches/find-differences.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/benches/find-differences.rs -------------------------------------------------------------------------------- /liblisa/benches/instantiation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/benches/instantiation.rs -------------------------------------------------------------------------------- /liblisa/benches/randomization.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/benches/randomization.rs -------------------------------------------------------------------------------- /liblisa/benches/system-state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/benches/system-state.rs -------------------------------------------------------------------------------- /liblisa/benches/terms.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/benches/terms.rs -------------------------------------------------------------------------------- /liblisa/benches/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/benches/utils.rs -------------------------------------------------------------------------------- /liblisa/examples/liblisa-encoding-to-z3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/examples/liblisa-encoding-to-z3.rs -------------------------------------------------------------------------------- /liblisa/src/arch/fake.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/arch/fake.rs -------------------------------------------------------------------------------- /liblisa/src/arch/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/arch/mod.rs -------------------------------------------------------------------------------- /liblisa/src/arch/scope.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/arch/scope.rs -------------------------------------------------------------------------------- /liblisa/src/arch/undef.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/arch/undef.rs -------------------------------------------------------------------------------- /liblisa/src/arch/x64/disasm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/arch/x64/disasm.rs -------------------------------------------------------------------------------- /liblisa/src/arch/x64/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/arch/x64/mod.rs -------------------------------------------------------------------------------- /liblisa/src/arch/x64/undef/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/arch/x64/undef/mod.rs -------------------------------------------------------------------------------- /liblisa/src/arch/x64/undef/xed_convert.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/arch/x64/undef/xed_convert.rs -------------------------------------------------------------------------------- /liblisa/src/compare/addresses.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/compare/addresses.rs -------------------------------------------------------------------------------- /liblisa/src/compare/computations.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/compare/computations.rs -------------------------------------------------------------------------------- /liblisa/src/compare/group.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/compare/group.rs -------------------------------------------------------------------------------- /liblisa/src/compare/mapping.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/compare/mapping.rs -------------------------------------------------------------------------------- /liblisa/src/compare/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/compare/mod.rs -------------------------------------------------------------------------------- /liblisa/src/compare/rows.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/compare/rows.rs -------------------------------------------------------------------------------- /liblisa/src/compare/split.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/compare/split.rs -------------------------------------------------------------------------------- /liblisa/src/compare/summary.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/compare/summary.rs -------------------------------------------------------------------------------- /liblisa/src/encoding/bitpattern/locs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/encoding/bitpattern/locs.rs -------------------------------------------------------------------------------- /liblisa/src/encoding/bitpattern/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/encoding/bitpattern/mod.rs -------------------------------------------------------------------------------- /liblisa/src/encoding/dataflows/accesses.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/encoding/dataflows/accesses.rs -------------------------------------------------------------------------------- /liblisa/src/encoding/dataflows/address_computation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/encoding/dataflows/address_computation.rs -------------------------------------------------------------------------------- /liblisa/src/encoding/dataflows/inputs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/encoding/dataflows/inputs.rs -------------------------------------------------------------------------------- /liblisa/src/encoding/dataflows/locs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/encoding/dataflows/locs.rs -------------------------------------------------------------------------------- /liblisa/src/encoding/dataflows/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/encoding/dataflows/mod.rs -------------------------------------------------------------------------------- /liblisa/src/encoding/display.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/encoding/display.rs -------------------------------------------------------------------------------- /liblisa/src/encoding/indexed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/encoding/indexed.rs -------------------------------------------------------------------------------- /liblisa/src/encoding/mcs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/encoding/mcs.rs -------------------------------------------------------------------------------- /liblisa/src/encoding/merge/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/encoding/merge/mod.rs -------------------------------------------------------------------------------- /liblisa/src/encoding/merge/semantical.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/encoding/merge/semantical.rs -------------------------------------------------------------------------------- /liblisa/src/encoding/merge/structural.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/encoding/merge/structural.rs -------------------------------------------------------------------------------- /liblisa/src/encoding/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/encoding/mod.rs -------------------------------------------------------------------------------- /liblisa/src/instr/counter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/instr/counter.rs -------------------------------------------------------------------------------- /liblisa/src/instr/extended.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/instr/extended.rs -------------------------------------------------------------------------------- /liblisa/src/instr/filter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/instr/filter.rs -------------------------------------------------------------------------------- /liblisa/src/instr/filter_mcs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/instr/filter_mcs.rs -------------------------------------------------------------------------------- /liblisa/src/instr/map.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/instr/map.rs -------------------------------------------------------------------------------- /liblisa/src/instr/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/instr/mod.rs -------------------------------------------------------------------------------- /liblisa/src/instr/select_covering_set8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/instr/select_covering_set8.txt -------------------------------------------------------------------------------- /liblisa/src/instr/set.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/instr/set.rs -------------------------------------------------------------------------------- /liblisa/src/instr/tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/instr/tree.rs -------------------------------------------------------------------------------- /liblisa/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/lib.rs -------------------------------------------------------------------------------- /liblisa/src/oracle/careful.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/oracle/careful.rs -------------------------------------------------------------------------------- /liblisa/src/oracle/counter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/oracle/counter.rs -------------------------------------------------------------------------------- /liblisa/src/oracle/iter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/oracle/iter.rs -------------------------------------------------------------------------------- /liblisa/src/oracle/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/oracle/mod.rs -------------------------------------------------------------------------------- /liblisa/src/oracle/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/oracle/verifier.rs -------------------------------------------------------------------------------- /liblisa/src/semantics/default/builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/semantics/default/builder.rs -------------------------------------------------------------------------------- /liblisa/src/semantics/default/codegen/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/semantics/default/codegen/mod.rs -------------------------------------------------------------------------------- /liblisa/src/semantics/default/codegen/sexpr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/semantics/default/codegen/sexpr.rs -------------------------------------------------------------------------------- /liblisa/src/semantics/default/codegen/smt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/semantics/default/codegen/smt.rs -------------------------------------------------------------------------------- /liblisa/src/semantics/default/computation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/semantics/default/computation.rs -------------------------------------------------------------------------------- /liblisa/src/semantics/default/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/semantics/default/mod.rs -------------------------------------------------------------------------------- /liblisa/src/semantics/default/ops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/semantics/default/ops.rs -------------------------------------------------------------------------------- /liblisa/src/semantics/default/smtgen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/semantics/default/smtgen.rs -------------------------------------------------------------------------------- /liblisa/src/semantics/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/semantics/mod.rs -------------------------------------------------------------------------------- /liblisa/src/smt/cache.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/smt/cache.rs -------------------------------------------------------------------------------- /liblisa/src/smt/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/smt/mod.rs -------------------------------------------------------------------------------- /liblisa/src/smt/solver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/smt/solver.rs -------------------------------------------------------------------------------- /liblisa/src/smt/tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/smt/tree.rs -------------------------------------------------------------------------------- /liblisa/src/smt/z3/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/smt/z3/mod.rs -------------------------------------------------------------------------------- /liblisa/src/smt/z3/tests/computations.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/smt/z3/tests/computations.rs -------------------------------------------------------------------------------- /liblisa/src/smt/z3/tests/equivalence.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/smt/z3/tests/equivalence.rs -------------------------------------------------------------------------------- /liblisa/src/smt/z3/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/smt/z3/tests/mod.rs -------------------------------------------------------------------------------- /liblisa/src/state/addr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/state/addr.rs -------------------------------------------------------------------------------- /liblisa/src/state/byteview.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/state/byteview.rs -------------------------------------------------------------------------------- /liblisa/src/state/jit/complex.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/state/jit/complex.rs -------------------------------------------------------------------------------- /liblisa/src/state/jit/gpreg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/state/jit/gpreg.rs -------------------------------------------------------------------------------- /liblisa/src/state/jit/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/state/jit/mod.rs -------------------------------------------------------------------------------- /liblisa/src/state/jit/simple.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/state/jit/simple.rs -------------------------------------------------------------------------------- /liblisa/src/state/locs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/state/locs.rs -------------------------------------------------------------------------------- /liblisa/src/state/memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/state/memory.rs -------------------------------------------------------------------------------- /liblisa/src/state/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/state/mod.rs -------------------------------------------------------------------------------- /liblisa/src/state/random/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/state/random/mod.rs -------------------------------------------------------------------------------- /liblisa/src/state/random/value.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/state/random/value.rs -------------------------------------------------------------------------------- /liblisa/src/state/split_dests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/state/split_dests.rs -------------------------------------------------------------------------------- /liblisa/src/utils/bitmap/fixed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/utils/bitmap/fixed.rs -------------------------------------------------------------------------------- /liblisa/src/utils/bitmap/growing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/utils/bitmap/growing.rs -------------------------------------------------------------------------------- /liblisa/src/utils/bitmap/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/utils/bitmap/mod.rs -------------------------------------------------------------------------------- /liblisa/src/utils/bitmap/tiny.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/utils/bitmap/tiny.rs -------------------------------------------------------------------------------- /liblisa/src/utils/cmov.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/utils/cmov.rs -------------------------------------------------------------------------------- /liblisa/src/utils/iter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/utils/iter.rs -------------------------------------------------------------------------------- /liblisa/src/utils/matrix.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/utils/matrix.rs -------------------------------------------------------------------------------- /liblisa/src/utils/mcs/bfs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/utils/mcs/bfs.rs -------------------------------------------------------------------------------- /liblisa/src/utils/mcs/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/utils/mcs/mod.rs -------------------------------------------------------------------------------- /liblisa/src/utils/min_cover_with_exclusions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/utils/min_cover_with_exclusions.rs -------------------------------------------------------------------------------- /liblisa/src/utils/minisat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/utils/minisat.rs -------------------------------------------------------------------------------- /liblisa/src/utils/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/utils/mod.rs -------------------------------------------------------------------------------- /liblisa/src/value.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/liblisa/src/value.rs -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/libLISA/liblisa/HEAD/rustfmt.toml --------------------------------------------------------------------------------