├── .dockerignore ├── .git-blame-ignore-revs ├── .github ├── actions │ └── ghidra-install │ │ └── action.yaml ├── ci.sh ├── dependabot.yml └── workflows │ ├── ci.yml │ ├── docker.yml │ ├── docs.yml │ └── lint.yml ├── .gitignore ├── .gitmodules ├── .hlint.yaml ├── Dockerfile ├── LICENSE ├── README.md ├── cabal.project ├── cabal ├── coverage.cabal.project └── release.cabal.project ├── doc ├── .gitignore ├── SUMMARY.md ├── book.toml ├── builtins.md ├── comparison.md ├── dev │ ├── dev.md │ ├── errors.md │ ├── formatting.md │ ├── ghidra-script-dev.md │ ├── glossary.md │ ├── haskell-idioms.md │ ├── lint.md │ ├── on-boarding.md │ ├── practices.md │ ├── profiling.md │ ├── style.md │ └── tests.md ├── diagrams │ ├── LICENSE │ ├── app │ │ └── Main.hs │ └── grease-diagrams.cabal ├── function-calls.md ├── ghidra-batch-plugin.md ├── ghidra-plugin.md ├── grease-ghidra-plugin-example.png ├── images │ └── profile-example.png ├── install.md ├── io.md ├── limitations.md ├── logo.png ├── mem.svg ├── memory-model.md ├── overrides.md ├── overview.md ├── quickstart.md ├── refinement.md ├── requirements.md ├── rust-programs.md ├── scripts │ └── get-overrides.sh ├── sexp-progs.md ├── sexp.md ├── shape-dsl.md ├── shared-libraries.md ├── syscalls.md ├── undefined-behavior.md └── usage.md ├── elf-edit-core-dump ├── .gitignore ├── LICENSE ├── README.md ├── elf-edit-core-dump.cabal ├── extract-core-dump │ └── Main.hs └── src │ └── Data │ └── ElfEdit │ ├── CoreDump.hs │ ├── CoreDump │ ├── ARM.hs │ ├── PPC.hs │ └── X86_64.hs │ └── Prim │ └── Nhdr.hs ├── fourmolu.yaml ├── ghidra-plugin ├── .gitignore ├── .scalafmt.conf ├── Module.manifest ├── README.md ├── build.gradle ├── extension.properties ├── ghidra_scripts │ └── README.txt ├── gradle.properties ├── gradle │ └── wrapper │ │ ├── gradle-wrapper.jar │ │ └── gradle-wrapper.properties ├── gradlew ├── gradlew.bat ├── lib │ └── README.txt ├── os │ ├── .gitignore │ ├── linux_x86_64 │ │ └── README.txt │ ├── mac_x86_64 │ │ └── README.txt │ └── win_x86_64 │ │ └── README.txt └── src │ ├── main │ ├── help │ │ └── help │ │ │ ├── TOC_Source.xml │ │ │ └── topics │ │ │ └── grease │ │ │ └── help.html │ ├── resources │ │ └── images │ │ │ └── README.txt │ └── scala │ │ └── grease │ │ ├── GreaseAnalyzer.scala │ │ └── GreaseWrapper.scala │ └── test │ ├── resources │ ├── defaultTools │ │ ├── LICENSE │ │ ├── NOTICE │ │ └── TestCodeBrowser.tool │ └── testbins │ │ ├── buggy-armv7l │ │ └── buggy-armv7l.txt │ └── scala │ ├── FindSimpleBugGREASETest.scala │ └── README.test.txt ├── ghidra_scripts └── grease.py ├── grease-aarch32 ├── LICENSE ├── README.md ├── grease-aarch32.cabal └── src │ └── Grease │ └── Macaw │ └── Arch │ └── AArch32.hs ├── grease-cli ├── LICENSE ├── README.md ├── grease-cli.cabal └── src │ └── Grease │ ├── Cli.hs │ └── Cli │ └── Enum.hs ├── grease-exe ├── LICENSE ├── README.md ├── grease-exe.cabal ├── main │ └── Main.hs ├── src │ └── Grease │ │ ├── Main.hs │ │ └── Profiler │ │ ├── EmbeddedData.hs │ │ ├── Feature.hs │ │ └── Paths.hs └── tests │ ├── .envrc │ ├── .gitignore │ ├── Dockerfile │ ├── Main.hs │ ├── Makefile │ ├── Shape.hs │ ├── arm │ ├── declare-in-override.armv7l.cbl │ ├── extra │ │ ├── id-ptr.armv7l.cbl │ │ ├── my-malloc.armv7l.cbl │ │ └── startup-override.armv7l.cbl │ ├── fresh-bytes.armv7l.cbl │ ├── htons.armv7l.cbl │ ├── id.armv7l.cbl │ ├── startup-override.armv7l.cbl │ └── user-override.armv7l.cbl │ ├── docker-compose.yml │ ├── extract-cflags.py │ ├── flake.lock │ ├── flake.nix │ ├── llvm-bc │ ├── arg-di-types.bc │ ├── arg-di-types.c │ ├── declare-in-override.bc │ ├── declare-in-override.c │ ├── extra │ │ ├── f.cbl │ │ ├── my_malloc.llvm.cbl │ │ └── startup-override.llvm.cbl │ ├── load-handle.bc │ ├── load-handle.c │ ├── malloc-free-redefined.bc │ ├── malloc-free-redefined.c │ ├── memset.bc │ ├── memset.c │ ├── multiple-defines.bc │ ├── multiple-defines.c │ ├── skip.bc │ ├── skip.c │ ├── startup-override.bc │ └── startup-override.c │ ├── llvm │ ├── T247-cex-print-wrong-order.llvm.cbl │ ├── abort.llvm.cbl │ ├── assume.llvm.cbl │ ├── both-branches-abort.llvm.cbl │ ├── branch-fresh-bytes.llvm.cbl │ ├── close-stdin.llvm.cbl │ ├── conc-bv-fresh-bytes.llvm.cbl │ ├── conc-fs.llvm.cbl │ ├── conc.llvm.cbl │ ├── declare-in-override.llvm.cbl │ ├── double-free.llvm.cbl │ ├── empty.llvm.cbl │ ├── exit.llvm.cbl │ ├── extra │ │ ├── T247-cex-print-wrong-order.txt │ │ ├── fs │ │ │ ├── root │ │ │ │ └── .gitkeep │ │ │ └── system-manifest.json │ │ ├── my-malloc.llvm.cbl │ │ ├── recv.llvm.cbl │ │ ├── shapes-exact-ptr-rle.txt │ │ ├── shapes-exact-ptr.txt │ │ ├── startup-override.llvm.cbl │ │ └── struct-override-callee.llvm.cbl │ ├── free-non-ptr.llvm.cbl │ ├── free-stack.llvm.cbl │ ├── free.llvm.cbl │ ├── fresh-bytes.llvm.cbl │ ├── func-ptr.llvm.cbl │ ├── id-bool.llvm.cbl │ ├── io-overrides-fs.llvm.cbl │ ├── io-overrides.llvm.cbl │ ├── load.llvm.cbl │ ├── malloc.llvm.cbl │ ├── memcpy.llvm.cbl │ ├── memset-large-const-len.llvm.cbl │ ├── memset.llvm.cbl │ ├── null-read.llvm.cbl │ ├── null-write.llvm.cbl │ ├── ptr-add-large-offset.llvm.cbl │ ├── ptr-add-offset.llvm.cbl │ ├── recv-fresh-bytes-multi-bytes.llvm.cbl │ ├── recv-fresh-bytes-multi-calls.llvm.cbl │ ├── recv-fresh-bytes.llvm.cbl │ ├── rust-enum.llvm.cbl │ ├── shapes-exact-ptr.llvm.cbl │ ├── simple-shapes.llvm.cbl │ ├── skip-ptr.llvm.cbl │ ├── skip-void.llvm.cbl │ ├── startup-override.llvm.cbl │ ├── store.llvm.cbl │ ├── string-overrides.llvm.cbl │ ├── struct-override-caller.llvm.cbl │ ├── sym-stdin.llvm.cbl │ ├── trap.llvm.cbl │ ├── types.llvm.cbl │ ├── uninit-stack-conditional.llvm.cbl │ ├── uninit-stack.llvm.cbl │ ├── user-override-defun.llvm.cbl │ └── user-override.llvm.cbl │ ├── ppc32 │ ├── declare-in-override.ppc32.cbl │ ├── extra │ │ ├── id-ptr.ppc32.cbl │ │ ├── my-malloc.ppc32.cbl │ │ └── startup-override.ppc32.cbl │ ├── htons.ppc32.cbl │ ├── id.ppc32.cbl │ ├── pos-stack-offset-read.ppc32.cbl │ ├── pos-stack-offset-write.ppc32.cbl │ ├── startup-override.ppc32.cbl │ └── user-override.ppc32.cbl │ ├── prop │ ├── in-text │ │ ├── neg │ │ │ └── simple │ │ │ │ ├── test.armv7l.elf │ │ │ │ ├── test.c │ │ │ │ ├── test.ppc32.elf │ │ │ │ └── test.x64.elf │ │ └── pos │ │ │ ├── data │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ │ ├── data_if │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ │ └── func_ptr │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ └── no-mprotect │ │ └── pos │ │ └── mprotect │ │ ├── test.armv7l.elf │ │ ├── test.c │ │ └── test.ppc32.elf │ ├── refine │ ├── bug │ │ ├── T307_abs_addr │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── abort_before_trap │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── addr-override.lua │ │ ├── assert_false │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── exit │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── extra │ │ │ └── addr-override.x64.cbl │ │ ├── func_ptr_error │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── heartbleed │ │ │ ├── shapes.txt │ │ │ ├── test.c │ │ │ └── test.x64.elf │ │ ├── null_ptr_deref_pie │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ └── test.ppc32.elf │ │ ├── oob_read_stack │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── symbolic_ip │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── uninit_stack_array_use │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── uninit_stack_conditional │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── uninit_stack_var_use │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ └── write_to_null │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ ├── neg │ │ ├── abs_addr_if │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── addr-ov-branch.lua │ │ ├── extra │ │ │ └── addr-override-branch.x64.cbl │ │ ├── factorial │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── libpng-cve-2018-13785 │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── loop │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── networking │ │ │ ├── test.armv7l.elf │ │ │ └── test.c │ │ ├── read_null_global_pointer │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ └── write_const_global │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ ├── pos │ │ ├── addr-override-decl.lua │ │ ├── cast_int_to_pointer_dereference │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── compare_ptrs_different_stack_allocs │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── compare_to_null │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── deref_arg_const_index │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── deref_struct_field │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── div │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── excluded_overrides │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ └── test.ppc32.elf │ │ ├── extra │ │ │ └── addr-override.x64.cbl │ │ ├── getppid_syscall_override │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ └── test.ppc32.elf │ │ ├── global_var │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── inc_ptr │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── inc_two_ptrs │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── malloc-free-external │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ └── test.ppc32.elf │ │ ├── malloc-free │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── malloc │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ └── test.ppc32.elf │ │ ├── pie │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ └── test.ppc32.elf │ │ ├── pointer_add │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── printf │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ └── test.ppc32.elf │ │ ├── ptr_ptr │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── read_global │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── signed_add_wrap_concrete │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── stack_protector │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ └── test.x64.elf │ │ ├── stack_spilled_arguments │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── stripped │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── stripped_with_overrides │ │ │ ├── test-overrides.aux.armv7l.yaml │ │ │ ├── test-overrides.aux.ppc32.yaml │ │ │ ├── test-overrides.aux.x86_64.yaml │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── user_override │ │ │ ├── shouldnt_loop.aux.cbl │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ └── write_to_global │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ └── xfail-neg │ │ ├── constructor │ │ ├── deref_arg_arg_index │ │ ├── test.armv7l.elf │ │ ├── test.c │ │ ├── test.ppc32.elf │ │ └── test.x64.elf │ │ └── uninit_stack_in_struct │ │ ├── test.armv7l.elf │ │ ├── test.c │ │ ├── test.ppc32.elf │ │ └── test.x64.elf │ ├── sanity │ ├── pass │ │ ├── addr-override-call-mod │ │ │ ├── extra │ │ │ │ ├── addr-override.x86_64.cbl │ │ │ │ └── test.x64.elf │ │ │ ├── test.S │ │ │ └── test.lua │ │ ├── addr-override-internal-reg-mod │ │ │ ├── extra │ │ │ │ ├── addr-override.x86_64.cbl │ │ │ │ └── test.x64.elf │ │ │ ├── test.S │ │ │ └── test.lua │ │ ├── declare-in-override │ │ │ ├── my_malloc.aux.armv7l.cbl │ │ │ ├── my_malloc.aux.ppc32.cbl │ │ │ ├── my_malloc.aux.x86_64.cbl │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── dwarf-restrict-ptr-and-typedef │ │ │ ├── test.c │ │ │ └── test.x64.elf │ │ ├── dwarf-shape-recursive-tree │ │ │ ├── test.c │ │ │ └── test.x64.elf │ │ ├── dwarf-shape-recursive │ │ │ ├── test.c │ │ │ └── test.x64.elf │ │ ├── dwarf-shapes-dwarfv4 │ │ │ ├── test.c │ │ │ └── test.x64.elf │ │ ├── dwarf-shapes │ │ │ ├── test.c │ │ │ └── test.x64.elf │ │ ├── invalid_call │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── push-pop │ │ │ ├── extra │ │ │ │ └── test.armv7l.elf │ │ │ ├── test.S │ │ │ └── test.lua │ │ ├── simple-static │ │ │ ├── test.armv7l.elf │ │ │ └── test.c │ │ ├── simulate_from_shared_library │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ │ ├── startup-override │ │ │ ├── startup-override.aux.armv7l.cbl │ │ │ ├── startup-override.aux.ppc32.cbl │ │ │ ├── startup-override.aux.x86_64.cbl │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ └── test.ppc32.elf │ │ ├── syscall │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ └── test.ppc32.elf │ │ ├── thumb-calls │ │ │ ├── test.armv7l.elf │ │ │ └── test.c │ │ └── tricky_plt_stub │ │ │ ├── aux.c │ │ │ ├── libaux.armv7l.so │ │ │ ├── libaux.ppc32.so │ │ │ ├── libaux.x64.so │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ ├── xfail-iters │ │ └── large_offset │ │ │ ├── test.armv7l.elf │ │ │ ├── test.c │ │ │ ├── test.ppc32.elf │ │ │ └── test.x64.elf │ └── xfail-panic │ │ └── empty │ │ ├── test.armv7l.elf │ │ ├── test.c │ │ ├── test.ppc32.elf │ │ └── test.x64.elf │ ├── test.lua │ ├── ux │ ├── addr-override-bad-address.lua │ ├── addr-override-bad-args.lua │ ├── addr-override-bad-return.lua │ ├── addr-override-function-not-found.lua │ ├── addr-override-multiple-functions.lua │ ├── cfg-bad-sig.x64.cbl │ ├── debug-cmd.llvm.cbl │ ├── extra │ │ ├── addr-override-bad-args.x64.cbl │ │ ├── addr-override-bad-return.x64.cbl │ │ ├── addr-override-function-not-found.x64.cbl │ │ ├── addr-override-multiple-functions.x64.cbl │ │ ├── llvm-override-function-not-found.llvm.cbl │ │ ├── llvm-override-multiple-functions.llvm.cbl │ │ └── llvm-override-unsupported-type.llvm.cbl │ ├── json-shapes-bad.aux.json │ ├── json-shapes-bad.llvm.cbl │ ├── llvm-override-function-not-found.lua │ ├── llvm-override-multiple-functions.lua │ ├── llvm-override-unsupported-type.lua │ ├── overrides-yaml-bad-key.aux.yaml │ ├── overrides-yaml-bad-key.x64.cbl │ ├── overrides-yaml-empty.aux.yaml │ ├── overrides-yaml-empty.x64.cbl │ └── timeout.llvm.cbl │ └── x86 │ ├── T247-cex-print-wrong-order.x64.cbl │ ├── T279-must-fail-false-pos.x64.cbl │ ├── aliased-pointer-shape.x64.cbl │ ├── declare-in-override.x64.cbl │ ├── extra │ ├── T247-cex-print-wrong-order.txt │ ├── aliased-shape.txt │ ├── id-ptr.x64.cbl │ ├── json-shapes.json │ ├── make-rax-point-to-deadbeef.txt │ ├── memshape-ptr-offset-init-precond.txt │ ├── my-malloc.x64.cbl │ ├── recv.x64.cbl │ └── startup-override.x64.cbl │ ├── htons.x64.cbl │ ├── id.x64.cbl │ ├── json-shapes.x64.cbl │ ├── memshape-ptr-offset.x64.cbl │ ├── null-read.x64.cbl │ ├── null-write.x64.cbl │ ├── pos-stack-offset-read.x64.cbl │ ├── pos-stack-offset-write.x64.cbl │ ├── recv-fresh-bytes.x64.cbl │ ├── simple-shapes.x64.cbl │ ├── startup-override.x64.cbl │ ├── user-override.x64.cbl │ ├── write-to-fixed-address-in-memory.x64.cbl │ ├── write-to-fixed-address-in-rax.x64.cbl │ └── write-to-rax-pointer.x64.cbl ├── grease-ppc ├── LICENSE ├── README.md ├── grease-ppc.cabal └── src │ └── Grease │ └── Macaw │ └── Arch │ ├── PPC32.hs │ └── PPC64.hs ├── grease-x86 ├── LICENSE ├── README.md ├── grease-x86.cabal └── src │ └── Grease │ └── Macaw │ └── Arch │ └── X86.hs ├── grease ├── LICENSE ├── README.md ├── grease.buildinfo.json ├── grease.cabal └── src │ └── Grease │ ├── AssertProperty.hs │ ├── BranchTracer.hs │ ├── BranchTracer │ └── Diagnostic.hs │ ├── Bug.hs │ ├── Bug │ └── UndefinedBehavior.hs │ ├── Concretize.hs │ ├── Concretize │ ├── JSON.hs │ └── ToConcretize.hs │ ├── Cursor.hs │ ├── Cursor │ ├── List.hs │ └── Pointer.hs │ ├── Diagnostic.hs │ ├── Diagnostic │ └── Severity.hs │ ├── Entrypoint.hs │ ├── ErrorDescription.hs │ ├── ExecutionFeatures.hs │ ├── GitRev.hs │ ├── Heuristic.hs │ ├── Heuristic │ ├── Diagnostic.hs │ └── Result.hs │ ├── Internal.hs │ ├── LLVM.hs │ ├── LLVM │ ├── DebugInfo.hs │ ├── Overrides.hs │ ├── Overrides │ │ ├── Builtin.hs │ │ ├── Declare.hs │ │ ├── Diagnostic.hs │ │ └── SExp.hs │ ├── Personality.hs │ ├── SetupHook.hs │ ├── SetupHook │ │ └── Diagnostic.hs │ ├── SimulatorHooks.hs │ └── SimulatorHooks │ │ └── Diagnostic.hs │ ├── Macaw.hs │ ├── Macaw │ ├── Arch.hs │ ├── Discovery.hs │ ├── Dwarf.hs │ ├── Entrypoint.hs │ ├── Load.hs │ ├── Load │ │ ├── Diagnostic.hs │ │ └── Relocation.hs │ ├── Memory.hs │ ├── Overrides.hs │ ├── Overrides │ │ ├── Address.hs │ │ ├── Builtin.hs │ │ ├── Defs.hs │ │ ├── Networking.hs │ │ └── SExp.hs │ ├── PLT.hs │ ├── RegName.hs │ ├── ResolveCall.hs │ ├── ResolveCall │ │ └── Diagnostic.hs │ ├── SetupHook.hs │ ├── SimulatorHooks.hs │ ├── SimulatorHooks │ │ └── Diagnostic.hs │ ├── SimulatorState.hs │ ├── SimulatorState │ │ └── Networking.hs │ ├── SkippedCall.hs │ └── Syscall.hs │ ├── Main │ └── Diagnostic.hs │ ├── MustFail.hs │ ├── Options.hs │ ├── Output.hs │ ├── Overrides.hs │ ├── Panic.hs │ ├── Pretty.hs │ ├── Refine.hs │ ├── Refine │ └── Diagnostic.hs │ ├── Requirement.hs │ ├── Setup.hs │ ├── Setup │ ├── Annotations.hs │ └── Diagnostic.hs │ ├── Shape.hs │ ├── Shape │ ├── Concretize.hs │ ├── NoTag.hs │ ├── Parse.hs │ ├── Pointer.hs │ ├── Print.hs │ ├── Selector.hs │ └── Simple.hs │ ├── Skip.hs │ ├── Skip │ └── Diagnostic.hs │ ├── Solver.hs │ ├── SymIO.hs │ ├── Syntax.hs │ ├── Syntax │ └── Overrides.hs │ ├── Syscall.hs │ ├── Time.hs │ ├── Utility.hs │ └── Version.hs └── scripts ├── coverage.sh ├── imports.py ├── lint ├── Makefile ├── stale-todo.py └── whitespace.py └── run-test.py /.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/.dockerignore -------------------------------------------------------------------------------- /.git-blame-ignore-revs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/.git-blame-ignore-revs -------------------------------------------------------------------------------- /.github/actions/ghidra-install/action.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/.github/actions/ghidra-install/action.yaml -------------------------------------------------------------------------------- /.github/ci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/.github/ci.sh -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/docker.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/.github/workflows/docker.yml -------------------------------------------------------------------------------- /.github/workflows/docs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/.github/workflows/docs.yml -------------------------------------------------------------------------------- /.github/workflows/lint.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/.github/workflows/lint.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/.gitmodules -------------------------------------------------------------------------------- /.hlint.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/.hlint.yaml -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/README.md -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/cabal.project -------------------------------------------------------------------------------- /cabal/coverage.cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/cabal/coverage.cabal.project -------------------------------------------------------------------------------- /cabal/release.cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/cabal/release.cabal.project -------------------------------------------------------------------------------- /doc/.gitignore: -------------------------------------------------------------------------------- 1 | book 2 | -------------------------------------------------------------------------------- /doc/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/SUMMARY.md -------------------------------------------------------------------------------- /doc/book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/book.toml -------------------------------------------------------------------------------- /doc/builtins.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/builtins.md -------------------------------------------------------------------------------- /doc/comparison.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/comparison.md -------------------------------------------------------------------------------- /doc/dev/dev.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/dev/dev.md -------------------------------------------------------------------------------- /doc/dev/errors.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/dev/errors.md -------------------------------------------------------------------------------- /doc/dev/formatting.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/dev/formatting.md -------------------------------------------------------------------------------- /doc/dev/ghidra-script-dev.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/dev/ghidra-script-dev.md -------------------------------------------------------------------------------- /doc/dev/glossary.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/dev/glossary.md -------------------------------------------------------------------------------- /doc/dev/haskell-idioms.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/dev/haskell-idioms.md -------------------------------------------------------------------------------- /doc/dev/lint.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/dev/lint.md -------------------------------------------------------------------------------- /doc/dev/on-boarding.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/dev/on-boarding.md -------------------------------------------------------------------------------- /doc/dev/practices.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/dev/practices.md -------------------------------------------------------------------------------- /doc/dev/profiling.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/dev/profiling.md -------------------------------------------------------------------------------- /doc/dev/style.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/dev/style.md -------------------------------------------------------------------------------- /doc/dev/tests.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/dev/tests.md -------------------------------------------------------------------------------- /doc/diagrams/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/diagrams/LICENSE -------------------------------------------------------------------------------- /doc/diagrams/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/diagrams/app/Main.hs -------------------------------------------------------------------------------- /doc/diagrams/grease-diagrams.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/diagrams/grease-diagrams.cabal -------------------------------------------------------------------------------- /doc/function-calls.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/function-calls.md -------------------------------------------------------------------------------- /doc/ghidra-batch-plugin.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/ghidra-batch-plugin.md -------------------------------------------------------------------------------- /doc/ghidra-plugin.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/ghidra-plugin.md -------------------------------------------------------------------------------- /doc/grease-ghidra-plugin-example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/grease-ghidra-plugin-example.png -------------------------------------------------------------------------------- /doc/images/profile-example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/images/profile-example.png -------------------------------------------------------------------------------- /doc/install.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/install.md -------------------------------------------------------------------------------- /doc/io.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/io.md -------------------------------------------------------------------------------- /doc/limitations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/limitations.md -------------------------------------------------------------------------------- /doc/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/logo.png -------------------------------------------------------------------------------- /doc/mem.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/mem.svg -------------------------------------------------------------------------------- /doc/memory-model.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/memory-model.md -------------------------------------------------------------------------------- /doc/overrides.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/overrides.md -------------------------------------------------------------------------------- /doc/overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/overview.md -------------------------------------------------------------------------------- /doc/quickstart.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/quickstart.md -------------------------------------------------------------------------------- /doc/refinement.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/refinement.md -------------------------------------------------------------------------------- /doc/requirements.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/requirements.md -------------------------------------------------------------------------------- /doc/rust-programs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/rust-programs.md -------------------------------------------------------------------------------- /doc/scripts/get-overrides.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/scripts/get-overrides.sh -------------------------------------------------------------------------------- /doc/sexp-progs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/sexp-progs.md -------------------------------------------------------------------------------- /doc/sexp.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/sexp.md -------------------------------------------------------------------------------- /doc/shape-dsl.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/shape-dsl.md -------------------------------------------------------------------------------- /doc/shared-libraries.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/shared-libraries.md -------------------------------------------------------------------------------- /doc/syscalls.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/syscalls.md -------------------------------------------------------------------------------- /doc/undefined-behavior.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/undefined-behavior.md -------------------------------------------------------------------------------- /doc/usage.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/doc/usage.md -------------------------------------------------------------------------------- /elf-edit-core-dump/.gitignore: -------------------------------------------------------------------------------- 1 | # Core dump files 2 | core.* 3 | -------------------------------------------------------------------------------- /elf-edit-core-dump/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/elf-edit-core-dump/LICENSE -------------------------------------------------------------------------------- /elf-edit-core-dump/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/elf-edit-core-dump/README.md -------------------------------------------------------------------------------- /elf-edit-core-dump/elf-edit-core-dump.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/elf-edit-core-dump/elf-edit-core-dump.cabal -------------------------------------------------------------------------------- /elf-edit-core-dump/extract-core-dump/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/elf-edit-core-dump/extract-core-dump/Main.hs -------------------------------------------------------------------------------- /elf-edit-core-dump/src/Data/ElfEdit/CoreDump.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/elf-edit-core-dump/src/Data/ElfEdit/CoreDump.hs -------------------------------------------------------------------------------- /elf-edit-core-dump/src/Data/ElfEdit/CoreDump/ARM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/elf-edit-core-dump/src/Data/ElfEdit/CoreDump/ARM.hs -------------------------------------------------------------------------------- /elf-edit-core-dump/src/Data/ElfEdit/CoreDump/PPC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/elf-edit-core-dump/src/Data/ElfEdit/CoreDump/PPC.hs -------------------------------------------------------------------------------- /elf-edit-core-dump/src/Data/ElfEdit/CoreDump/X86_64.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/elf-edit-core-dump/src/Data/ElfEdit/CoreDump/X86_64.hs -------------------------------------------------------------------------------- /elf-edit-core-dump/src/Data/ElfEdit/Prim/Nhdr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/elf-edit-core-dump/src/Data/ElfEdit/Prim/Nhdr.hs -------------------------------------------------------------------------------- /fourmolu.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/fourmolu.yaml -------------------------------------------------------------------------------- /ghidra-plugin/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/.gitignore -------------------------------------------------------------------------------- /ghidra-plugin/.scalafmt.conf: -------------------------------------------------------------------------------- 1 | version = "3.5.3" 2 | runner.dialect = scala3 -------------------------------------------------------------------------------- /ghidra-plugin/Module.manifest: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ghidra-plugin/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/README.md -------------------------------------------------------------------------------- /ghidra-plugin/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/build.gradle -------------------------------------------------------------------------------- /ghidra-plugin/extension.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/extension.properties -------------------------------------------------------------------------------- /ghidra-plugin/ghidra_scripts/README.txt: -------------------------------------------------------------------------------- 1 | Java source directory to hold module-specific Ghidra scripts. 2 | -------------------------------------------------------------------------------- /ghidra-plugin/gradle.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/gradle.properties -------------------------------------------------------------------------------- /ghidra-plugin/gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /ghidra-plugin/gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /ghidra-plugin/gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/gradlew -------------------------------------------------------------------------------- /ghidra-plugin/gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/gradlew.bat -------------------------------------------------------------------------------- /ghidra-plugin/lib/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/lib/README.txt -------------------------------------------------------------------------------- /ghidra-plugin/os/.gitignore: -------------------------------------------------------------------------------- 1 | grease -------------------------------------------------------------------------------- /ghidra-plugin/os/linux_x86_64/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/os/linux_x86_64/README.txt -------------------------------------------------------------------------------- /ghidra-plugin/os/mac_x86_64/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/os/mac_x86_64/README.txt -------------------------------------------------------------------------------- /ghidra-plugin/os/win_x86_64/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/os/win_x86_64/README.txt -------------------------------------------------------------------------------- /ghidra-plugin/src/main/help/help/TOC_Source.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/src/main/help/help/TOC_Source.xml -------------------------------------------------------------------------------- /ghidra-plugin/src/main/help/help/topics/grease/help.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/src/main/help/help/topics/grease/help.html -------------------------------------------------------------------------------- /ghidra-plugin/src/main/resources/images/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/src/main/resources/images/README.txt -------------------------------------------------------------------------------- /ghidra-plugin/src/main/scala/grease/GreaseAnalyzer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/src/main/scala/grease/GreaseAnalyzer.scala -------------------------------------------------------------------------------- /ghidra-plugin/src/main/scala/grease/GreaseWrapper.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/src/main/scala/grease/GreaseWrapper.scala -------------------------------------------------------------------------------- /ghidra-plugin/src/test/resources/defaultTools/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/src/test/resources/defaultTools/LICENSE -------------------------------------------------------------------------------- /ghidra-plugin/src/test/resources/defaultTools/NOTICE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/src/test/resources/defaultTools/NOTICE -------------------------------------------------------------------------------- /ghidra-plugin/src/test/resources/defaultTools/TestCodeBrowser.tool: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/src/test/resources/defaultTools/TestCodeBrowser.tool -------------------------------------------------------------------------------- /ghidra-plugin/src/test/resources/testbins/buggy-armv7l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/src/test/resources/testbins/buggy-armv7l -------------------------------------------------------------------------------- /ghidra-plugin/src/test/resources/testbins/buggy-armv7l.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/src/test/resources/testbins/buggy-armv7l.txt -------------------------------------------------------------------------------- /ghidra-plugin/src/test/scala/FindSimpleBugGREASETest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/src/test/scala/FindSimpleBugGREASETest.scala -------------------------------------------------------------------------------- /ghidra-plugin/src/test/scala/README.test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra-plugin/src/test/scala/README.test.txt -------------------------------------------------------------------------------- /ghidra_scripts/grease.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/ghidra_scripts/grease.py -------------------------------------------------------------------------------- /grease-aarch32/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-aarch32/LICENSE -------------------------------------------------------------------------------- /grease-aarch32/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-aarch32/README.md -------------------------------------------------------------------------------- /grease-aarch32/grease-aarch32.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-aarch32/grease-aarch32.cabal -------------------------------------------------------------------------------- /grease-aarch32/src/Grease/Macaw/Arch/AArch32.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-aarch32/src/Grease/Macaw/Arch/AArch32.hs -------------------------------------------------------------------------------- /grease-cli/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-cli/LICENSE -------------------------------------------------------------------------------- /grease-cli/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-cli/README.md -------------------------------------------------------------------------------- /grease-cli/grease-cli.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-cli/grease-cli.cabal -------------------------------------------------------------------------------- /grease-cli/src/Grease/Cli.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-cli/src/Grease/Cli.hs -------------------------------------------------------------------------------- /grease-cli/src/Grease/Cli/Enum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-cli/src/Grease/Cli/Enum.hs -------------------------------------------------------------------------------- /grease-exe/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/LICENSE -------------------------------------------------------------------------------- /grease-exe/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/README.md -------------------------------------------------------------------------------- /grease-exe/grease-exe.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/grease-exe.cabal -------------------------------------------------------------------------------- /grease-exe/main/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/main/Main.hs -------------------------------------------------------------------------------- /grease-exe/src/Grease/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/src/Grease/Main.hs -------------------------------------------------------------------------------- /grease-exe/src/Grease/Profiler/EmbeddedData.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/src/Grease/Profiler/EmbeddedData.hs -------------------------------------------------------------------------------- /grease-exe/src/Grease/Profiler/Feature.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/src/Grease/Profiler/Feature.hs -------------------------------------------------------------------------------- /grease-exe/src/Grease/Profiler/Paths.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/src/Grease/Profiler/Paths.hs -------------------------------------------------------------------------------- /grease-exe/tests/.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/.envrc -------------------------------------------------------------------------------- /grease-exe/tests/.gitignore: -------------------------------------------------------------------------------- 1 | *.out 2 | -------------------------------------------------------------------------------- /grease-exe/tests/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/Dockerfile -------------------------------------------------------------------------------- /grease-exe/tests/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/Main.hs -------------------------------------------------------------------------------- /grease-exe/tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/Makefile -------------------------------------------------------------------------------- /grease-exe/tests/Shape.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/Shape.hs -------------------------------------------------------------------------------- /grease-exe/tests/arm/declare-in-override.armv7l.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/arm/declare-in-override.armv7l.cbl -------------------------------------------------------------------------------- /grease-exe/tests/arm/extra/id-ptr.armv7l.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/arm/extra/id-ptr.armv7l.cbl -------------------------------------------------------------------------------- /grease-exe/tests/arm/extra/my-malloc.armv7l.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/arm/extra/my-malloc.armv7l.cbl -------------------------------------------------------------------------------- /grease-exe/tests/arm/extra/startup-override.armv7l.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/arm/extra/startup-override.armv7l.cbl -------------------------------------------------------------------------------- /grease-exe/tests/arm/fresh-bytes.armv7l.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/arm/fresh-bytes.armv7l.cbl -------------------------------------------------------------------------------- /grease-exe/tests/arm/htons.armv7l.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/arm/htons.armv7l.cbl -------------------------------------------------------------------------------- /grease-exe/tests/arm/id.armv7l.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/arm/id.armv7l.cbl -------------------------------------------------------------------------------- /grease-exe/tests/arm/startup-override.armv7l.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/arm/startup-override.armv7l.cbl -------------------------------------------------------------------------------- /grease-exe/tests/arm/user-override.armv7l.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/arm/user-override.armv7l.cbl -------------------------------------------------------------------------------- /grease-exe/tests/docker-compose.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/docker-compose.yml -------------------------------------------------------------------------------- /grease-exe/tests/extract-cflags.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/extract-cflags.py -------------------------------------------------------------------------------- /grease-exe/tests/flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/flake.lock -------------------------------------------------------------------------------- /grease-exe/tests/flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/flake.nix -------------------------------------------------------------------------------- /grease-exe/tests/llvm-bc/arg-di-types.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm-bc/arg-di-types.bc -------------------------------------------------------------------------------- /grease-exe/tests/llvm-bc/arg-di-types.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm-bc/arg-di-types.c -------------------------------------------------------------------------------- /grease-exe/tests/llvm-bc/declare-in-override.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm-bc/declare-in-override.bc -------------------------------------------------------------------------------- /grease-exe/tests/llvm-bc/declare-in-override.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm-bc/declare-in-override.c -------------------------------------------------------------------------------- /grease-exe/tests/llvm-bc/extra/f.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm-bc/extra/f.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm-bc/extra/my_malloc.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm-bc/extra/my_malloc.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm-bc/extra/startup-override.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm-bc/extra/startup-override.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm-bc/load-handle.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm-bc/load-handle.bc -------------------------------------------------------------------------------- /grease-exe/tests/llvm-bc/load-handle.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm-bc/load-handle.c -------------------------------------------------------------------------------- /grease-exe/tests/llvm-bc/malloc-free-redefined.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm-bc/malloc-free-redefined.bc -------------------------------------------------------------------------------- /grease-exe/tests/llvm-bc/malloc-free-redefined.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm-bc/malloc-free-redefined.c -------------------------------------------------------------------------------- /grease-exe/tests/llvm-bc/memset.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm-bc/memset.bc -------------------------------------------------------------------------------- /grease-exe/tests/llvm-bc/memset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm-bc/memset.c -------------------------------------------------------------------------------- /grease-exe/tests/llvm-bc/multiple-defines.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm-bc/multiple-defines.bc -------------------------------------------------------------------------------- /grease-exe/tests/llvm-bc/multiple-defines.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm-bc/multiple-defines.c -------------------------------------------------------------------------------- /grease-exe/tests/llvm-bc/skip.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm-bc/skip.bc -------------------------------------------------------------------------------- /grease-exe/tests/llvm-bc/skip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm-bc/skip.c -------------------------------------------------------------------------------- /grease-exe/tests/llvm-bc/startup-override.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm-bc/startup-override.bc -------------------------------------------------------------------------------- /grease-exe/tests/llvm-bc/startup-override.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm-bc/startup-override.c -------------------------------------------------------------------------------- /grease-exe/tests/llvm/T247-cex-print-wrong-order.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/T247-cex-print-wrong-order.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/abort.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/abort.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/assume.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/assume.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/both-branches-abort.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/both-branches-abort.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/branch-fresh-bytes.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/branch-fresh-bytes.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/close-stdin.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/close-stdin.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/conc-bv-fresh-bytes.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/conc-bv-fresh-bytes.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/conc-fs.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/conc-fs.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/conc.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/conc.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/declare-in-override.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/declare-in-override.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/double-free.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/double-free.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/empty.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/empty.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/exit.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/exit.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/extra/T247-cex-print-wrong-order.txt: -------------------------------------------------------------------------------- 1 | %0: 00+00 2 | 3 | 00: ## 2a 4 | -------------------------------------------------------------------------------- /grease-exe/tests/llvm/extra/fs/root/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /grease-exe/tests/llvm/extra/fs/system-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/extra/fs/system-manifest.json -------------------------------------------------------------------------------- /grease-exe/tests/llvm/extra/my-malloc.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/extra/my-malloc.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/extra/recv.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/extra/recv.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/extra/shapes-exact-ptr-rle.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/extra/shapes-exact-ptr-rle.txt -------------------------------------------------------------------------------- /grease-exe/tests/llvm/extra/shapes-exact-ptr.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/extra/shapes-exact-ptr.txt -------------------------------------------------------------------------------- /grease-exe/tests/llvm/extra/startup-override.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/extra/startup-override.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/extra/struct-override-callee.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/extra/struct-override-callee.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/free-non-ptr.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/free-non-ptr.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/free-stack.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/free-stack.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/free.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/free.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/fresh-bytes.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/fresh-bytes.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/func-ptr.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/func-ptr.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/id-bool.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/id-bool.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/io-overrides-fs.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/io-overrides-fs.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/io-overrides.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/io-overrides.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/load.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/load.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/malloc.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/malloc.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/memcpy.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/memcpy.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/memset-large-const-len.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/memset-large-const-len.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/memset.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/memset.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/null-read.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/null-read.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/null-write.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/null-write.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/ptr-add-large-offset.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/ptr-add-large-offset.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/ptr-add-offset.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/ptr-add-offset.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/recv-fresh-bytes-multi-bytes.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/recv-fresh-bytes-multi-bytes.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/recv-fresh-bytes-multi-calls.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/recv-fresh-bytes-multi-calls.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/recv-fresh-bytes.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/recv-fresh-bytes.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/rust-enum.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/rust-enum.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/shapes-exact-ptr.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/shapes-exact-ptr.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/simple-shapes.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/simple-shapes.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/skip-ptr.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/skip-ptr.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/skip-void.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/skip-void.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/startup-override.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/startup-override.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/store.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/store.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/string-overrides.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/string-overrides.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/struct-override-caller.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/struct-override-caller.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/sym-stdin.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/sym-stdin.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/trap.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/trap.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/types.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/types.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/uninit-stack-conditional.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/uninit-stack-conditional.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/uninit-stack.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/uninit-stack.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/user-override-defun.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/user-override-defun.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/llvm/user-override.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/llvm/user-override.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/ppc32/declare-in-override.ppc32.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ppc32/declare-in-override.ppc32.cbl -------------------------------------------------------------------------------- /grease-exe/tests/ppc32/extra/id-ptr.ppc32.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ppc32/extra/id-ptr.ppc32.cbl -------------------------------------------------------------------------------- /grease-exe/tests/ppc32/extra/my-malloc.ppc32.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ppc32/extra/my-malloc.ppc32.cbl -------------------------------------------------------------------------------- /grease-exe/tests/ppc32/extra/startup-override.ppc32.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ppc32/extra/startup-override.ppc32.cbl -------------------------------------------------------------------------------- /grease-exe/tests/ppc32/htons.ppc32.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ppc32/htons.ppc32.cbl -------------------------------------------------------------------------------- /grease-exe/tests/ppc32/id.ppc32.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ppc32/id.ppc32.cbl -------------------------------------------------------------------------------- /grease-exe/tests/ppc32/pos-stack-offset-read.ppc32.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ppc32/pos-stack-offset-read.ppc32.cbl -------------------------------------------------------------------------------- /grease-exe/tests/ppc32/pos-stack-offset-write.ppc32.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ppc32/pos-stack-offset-write.ppc32.cbl -------------------------------------------------------------------------------- /grease-exe/tests/ppc32/startup-override.ppc32.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ppc32/startup-override.ppc32.cbl -------------------------------------------------------------------------------- /grease-exe/tests/ppc32/user-override.ppc32.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ppc32/user-override.ppc32.cbl -------------------------------------------------------------------------------- /grease-exe/tests/prop/in-text/neg/simple/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/prop/in-text/neg/simple/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/prop/in-text/neg/simple/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/prop/in-text/neg/simple/test.c -------------------------------------------------------------------------------- /grease-exe/tests/prop/in-text/neg/simple/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/prop/in-text/neg/simple/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/prop/in-text/neg/simple/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/prop/in-text/neg/simple/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/prop/in-text/pos/data/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/prop/in-text/pos/data/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/prop/in-text/pos/data/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/prop/in-text/pos/data/test.c -------------------------------------------------------------------------------- /grease-exe/tests/prop/in-text/pos/data/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/prop/in-text/pos/data/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/prop/in-text/pos/data/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/prop/in-text/pos/data/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/prop/in-text/pos/data_if/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/prop/in-text/pos/data_if/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/prop/in-text/pos/data_if/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/prop/in-text/pos/data_if/test.c -------------------------------------------------------------------------------- /grease-exe/tests/prop/in-text/pos/data_if/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/prop/in-text/pos/data_if/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/prop/in-text/pos/data_if/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/prop/in-text/pos/data_if/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/prop/in-text/pos/func_ptr/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/prop/in-text/pos/func_ptr/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/prop/in-text/pos/func_ptr/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/prop/in-text/pos/func_ptr/test.c -------------------------------------------------------------------------------- /grease-exe/tests/prop/in-text/pos/func_ptr/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/prop/in-text/pos/func_ptr/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/prop/in-text/pos/func_ptr/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/prop/in-text/pos/func_ptr/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/prop/no-mprotect/pos/mprotect/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/prop/no-mprotect/pos/mprotect/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/prop/no-mprotect/pos/mprotect/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/prop/no-mprotect/pos/mprotect/test.c -------------------------------------------------------------------------------- /grease-exe/tests/prop/no-mprotect/pos/mprotect/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/prop/no-mprotect/pos/mprotect/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/T307_abs_addr/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/T307_abs_addr/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/T307_abs_addr/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/T307_abs_addr/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/T307_abs_addr/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/T307_abs_addr/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/T307_abs_addr/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/T307_abs_addr/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/abort_before_trap/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/abort_before_trap/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/abort_before_trap/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/abort_before_trap/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/abort_before_trap/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/abort_before_trap/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/abort_before_trap/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/abort_before_trap/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/addr-override.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/addr-override.lua -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/assert_false/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/assert_false/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/assert_false/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/assert_false/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/assert_false/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/assert_false/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/assert_false/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/assert_false/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/exit/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/exit/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/exit/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/exit/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/exit/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/exit/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/exit/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/exit/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/extra/addr-override.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/extra/addr-override.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/func_ptr_error/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/func_ptr_error/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/func_ptr_error/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/func_ptr_error/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/func_ptr_error/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/func_ptr_error/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/func_ptr_error/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/func_ptr_error/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/heartbleed/shapes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/heartbleed/shapes.txt -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/heartbleed/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/heartbleed/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/heartbleed/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/heartbleed/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/null_ptr_deref_pie/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/null_ptr_deref_pie/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/null_ptr_deref_pie/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/null_ptr_deref_pie/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/null_ptr_deref_pie/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/null_ptr_deref_pie/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/oob_read_stack/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/oob_read_stack/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/oob_read_stack/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/oob_read_stack/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/oob_read_stack/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/oob_read_stack/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/oob_read_stack/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/oob_read_stack/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/symbolic_ip/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/symbolic_ip/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/symbolic_ip/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/symbolic_ip/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/symbolic_ip/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/symbolic_ip/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/symbolic_ip/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/symbolic_ip/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/uninit_stack_array_use/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/uninit_stack_array_use/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/uninit_stack_array_use/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/uninit_stack_array_use/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/uninit_stack_array_use/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/uninit_stack_array_use/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/uninit_stack_array_use/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/uninit_stack_array_use/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/uninit_stack_conditional/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/uninit_stack_conditional/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/uninit_stack_conditional/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/uninit_stack_conditional/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/uninit_stack_conditional/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/uninit_stack_conditional/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/uninit_stack_conditional/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/uninit_stack_conditional/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/uninit_stack_var_use/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/uninit_stack_var_use/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/uninit_stack_var_use/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/uninit_stack_var_use/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/uninit_stack_var_use/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/uninit_stack_var_use/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/uninit_stack_var_use/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/uninit_stack_var_use/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/write_to_null/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/write_to_null/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/write_to_null/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/write_to_null/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/write_to_null/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/write_to_null/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/bug/write_to_null/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/bug/write_to_null/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/abs_addr_if/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/abs_addr_if/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/abs_addr_if/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/abs_addr_if/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/abs_addr_if/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/abs_addr_if/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/abs_addr_if/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/abs_addr_if/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/addr-ov-branch.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/addr-ov-branch.lua -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/extra/addr-override-branch.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/extra/addr-override-branch.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/factorial/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/factorial/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/factorial/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/factorial/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/factorial/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/factorial/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/factorial/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/factorial/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/libpng-cve-2018-13785/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/libpng-cve-2018-13785/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/libpng-cve-2018-13785/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/libpng-cve-2018-13785/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/libpng-cve-2018-13785/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/libpng-cve-2018-13785/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/libpng-cve-2018-13785/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/libpng-cve-2018-13785/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/loop/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/loop/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/loop/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/loop/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/loop/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/loop/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/loop/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/loop/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/networking/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/networking/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/networking/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/networking/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/read_null_global_pointer/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/read_null_global_pointer/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/read_null_global_pointer/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/read_null_global_pointer/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/read_null_global_pointer/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/read_null_global_pointer/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/read_null_global_pointer/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/read_null_global_pointer/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/write_const_global/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/write_const_global/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/write_const_global/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/write_const_global/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/write_const_global/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/write_const_global/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/neg/write_const_global/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/neg/write_const_global/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/addr-override-decl.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/addr-override-decl.lua -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/cast_int_to_pointer_dereference/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/cast_int_to_pointer_dereference/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/cast_int_to_pointer_dereference/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/cast_int_to_pointer_dereference/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/cast_int_to_pointer_dereference/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/cast_int_to_pointer_dereference/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/cast_int_to_pointer_dereference/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/cast_int_to_pointer_dereference/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/compare_ptrs_different_stack_allocs/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/compare_ptrs_different_stack_allocs/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/compare_ptrs_different_stack_allocs/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/compare_ptrs_different_stack_allocs/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/compare_ptrs_different_stack_allocs/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/compare_ptrs_different_stack_allocs/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/compare_ptrs_different_stack_allocs/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/compare_ptrs_different_stack_allocs/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/compare_to_null/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/compare_to_null/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/compare_to_null/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/compare_to_null/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/compare_to_null/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/compare_to_null/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/compare_to_null/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/compare_to_null/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/deref_arg_const_index/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/deref_arg_const_index/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/deref_arg_const_index/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/deref_arg_const_index/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/deref_arg_const_index/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/deref_arg_const_index/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/deref_arg_const_index/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/deref_arg_const_index/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/deref_struct_field/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/deref_struct_field/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/deref_struct_field/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/deref_struct_field/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/deref_struct_field/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/deref_struct_field/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/deref_struct_field/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/deref_struct_field/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/div/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/div/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/div/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/div/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/div/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/div/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/div/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/div/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/excluded_overrides/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/excluded_overrides/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/excluded_overrides/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/excluded_overrides/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/excluded_overrides/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/excluded_overrides/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/extra/addr-override.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/extra/addr-override.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/getppid_syscall_override/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/getppid_syscall_override/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/getppid_syscall_override/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/getppid_syscall_override/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/getppid_syscall_override/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/getppid_syscall_override/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/global_var/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/global_var/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/global_var/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/global_var/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/global_var/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/global_var/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/global_var/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/global_var/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/inc_ptr/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/inc_ptr/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/inc_ptr/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/inc_ptr/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/inc_ptr/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/inc_ptr/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/inc_ptr/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/inc_ptr/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/inc_two_ptrs/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/inc_two_ptrs/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/inc_two_ptrs/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/inc_two_ptrs/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/inc_two_ptrs/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/inc_two_ptrs/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/inc_two_ptrs/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/inc_two_ptrs/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/malloc-free-external/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/malloc-free-external/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/malloc-free-external/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/malloc-free-external/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/malloc-free-external/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/malloc-free-external/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/malloc-free/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/malloc-free/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/malloc-free/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/malloc-free/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/malloc-free/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/malloc-free/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/malloc-free/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/malloc-free/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/malloc/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/malloc/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/malloc/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/malloc/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/malloc/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/malloc/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/pie/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/pie/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/pie/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/pie/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/pie/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/pie/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/pointer_add/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/pointer_add/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/pointer_add/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/pointer_add/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/pointer_add/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/pointer_add/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/pointer_add/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/pointer_add/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/printf/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/printf/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/printf/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/printf/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/printf/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/printf/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/ptr_ptr/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/ptr_ptr/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/ptr_ptr/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/ptr_ptr/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/ptr_ptr/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/ptr_ptr/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/ptr_ptr/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/ptr_ptr/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/read_global/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/read_global/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/read_global/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/read_global/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/read_global/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/read_global/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/read_global/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/read_global/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/signed_add_wrap_concrete/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/signed_add_wrap_concrete/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/signed_add_wrap_concrete/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/signed_add_wrap_concrete/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/signed_add_wrap_concrete/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/signed_add_wrap_concrete/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/signed_add_wrap_concrete/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/signed_add_wrap_concrete/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/stack_protector/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/stack_protector/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/stack_protector/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/stack_protector/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/stack_protector/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/stack_protector/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/stack_spilled_arguments/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/stack_spilled_arguments/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/stack_spilled_arguments/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/stack_spilled_arguments/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/stack_spilled_arguments/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/stack_spilled_arguments/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/stack_spilled_arguments/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/stack_spilled_arguments/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/stripped/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/stripped/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/stripped/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/stripped/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/stripped/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/stripped/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/stripped/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/stripped/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/stripped_with_overrides/test-overrides.aux.armv7l.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/stripped_with_overrides/test-overrides.aux.armv7l.yaml -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/stripped_with_overrides/test-overrides.aux.ppc32.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/stripped_with_overrides/test-overrides.aux.ppc32.yaml -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/stripped_with_overrides/test-overrides.aux.x86_64.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/stripped_with_overrides/test-overrides.aux.x86_64.yaml -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/stripped_with_overrides/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/stripped_with_overrides/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/stripped_with_overrides/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/stripped_with_overrides/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/stripped_with_overrides/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/stripped_with_overrides/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/stripped_with_overrides/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/stripped_with_overrides/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/user_override/shouldnt_loop.aux.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/user_override/shouldnt_loop.aux.cbl -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/user_override/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/user_override/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/user_override/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/user_override/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/user_override/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/user_override/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/user_override/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/user_override/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/write_to_global/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/write_to_global/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/write_to_global/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/write_to_global/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/write_to_global/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/write_to_global/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/pos/write_to_global/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/pos/write_to_global/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/xfail-neg/constructor/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/xfail-neg/constructor/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/xfail-neg/constructor/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/xfail-neg/constructor/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/xfail-neg/constructor/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/xfail-neg/constructor/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/xfail-neg/constructor/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/xfail-neg/constructor/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/xfail-neg/deref_arg_arg_index/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/xfail-neg/deref_arg_arg_index/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/xfail-neg/deref_arg_arg_index/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/xfail-neg/deref_arg_arg_index/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/xfail-neg/deref_arg_arg_index/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/xfail-neg/deref_arg_arg_index/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/xfail-neg/deref_arg_arg_index/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/xfail-neg/deref_arg_arg_index/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/xfail-neg/uninit_stack_in_struct/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/xfail-neg/uninit_stack_in_struct/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/xfail-neg/uninit_stack_in_struct/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/xfail-neg/uninit_stack_in_struct/test.c -------------------------------------------------------------------------------- /grease-exe/tests/refine/xfail-neg/uninit_stack_in_struct/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/xfail-neg/uninit_stack_in_struct/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/refine/xfail-neg/uninit_stack_in_struct/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/refine/xfail-neg/uninit_stack_in_struct/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/addr-override-call-mod/extra/addr-override.x86_64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/addr-override-call-mod/extra/addr-override.x86_64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/addr-override-call-mod/extra/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/addr-override-call-mod/extra/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/addr-override-call-mod/test.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/addr-override-call-mod/test.S -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/addr-override-call-mod/test.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/addr-override-call-mod/test.lua -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/addr-override-internal-reg-mod/extra/addr-override.x86_64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/addr-override-internal-reg-mod/extra/addr-override.x86_64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/addr-override-internal-reg-mod/extra/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/addr-override-internal-reg-mod/extra/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/addr-override-internal-reg-mod/test.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/addr-override-internal-reg-mod/test.S -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/addr-override-internal-reg-mod/test.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/addr-override-internal-reg-mod/test.lua -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/declare-in-override/my_malloc.aux.armv7l.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/declare-in-override/my_malloc.aux.armv7l.cbl -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/declare-in-override/my_malloc.aux.ppc32.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/declare-in-override/my_malloc.aux.ppc32.cbl -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/declare-in-override/my_malloc.aux.x86_64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/declare-in-override/my_malloc.aux.x86_64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/declare-in-override/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/declare-in-override/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/declare-in-override/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/declare-in-override/test.c -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/declare-in-override/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/declare-in-override/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/declare-in-override/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/declare-in-override/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/dwarf-restrict-ptr-and-typedef/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/dwarf-restrict-ptr-and-typedef/test.c -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/dwarf-restrict-ptr-and-typedef/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/dwarf-restrict-ptr-and-typedef/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/dwarf-shape-recursive-tree/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/dwarf-shape-recursive-tree/test.c -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/dwarf-shape-recursive-tree/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/dwarf-shape-recursive-tree/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/dwarf-shape-recursive/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/dwarf-shape-recursive/test.c -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/dwarf-shape-recursive/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/dwarf-shape-recursive/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/dwarf-shapes-dwarfv4/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/dwarf-shapes-dwarfv4/test.c -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/dwarf-shapes-dwarfv4/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/dwarf-shapes-dwarfv4/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/dwarf-shapes/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/dwarf-shapes/test.c -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/dwarf-shapes/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/dwarf-shapes/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/invalid_call/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/invalid_call/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/invalid_call/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/invalid_call/test.c -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/invalid_call/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/invalid_call/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/invalid_call/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/invalid_call/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/push-pop/extra/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/push-pop/extra/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/push-pop/test.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/push-pop/test.S -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/push-pop/test.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/push-pop/test.lua -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/simple-static/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/simple-static/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/simple-static/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/simple-static/test.c -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/simulate_from_shared_library/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/simulate_from_shared_library/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/simulate_from_shared_library/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/simulate_from_shared_library/test.c -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/simulate_from_shared_library/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/simulate_from_shared_library/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/simulate_from_shared_library/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/simulate_from_shared_library/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/startup-override/startup-override.aux.armv7l.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/startup-override/startup-override.aux.armv7l.cbl -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/startup-override/startup-override.aux.ppc32.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/startup-override/startup-override.aux.ppc32.cbl -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/startup-override/startup-override.aux.x86_64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/startup-override/startup-override.aux.x86_64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/startup-override/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/startup-override/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/startup-override/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/startup-override/test.c -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/startup-override/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/startup-override/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/syscall/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/syscall/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/syscall/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/syscall/test.c -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/syscall/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/syscall/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/thumb-calls/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/thumb-calls/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/thumb-calls/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/thumb-calls/test.c -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/tricky_plt_stub/aux.c: -------------------------------------------------------------------------------- 1 | /* Copyright (c) Galois, Inc. 2024 */ 2 | 3 | int a1, a2; 4 | -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/tricky_plt_stub/libaux.armv7l.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/tricky_plt_stub/libaux.armv7l.so -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/tricky_plt_stub/libaux.ppc32.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/tricky_plt_stub/libaux.ppc32.so -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/tricky_plt_stub/libaux.x64.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/tricky_plt_stub/libaux.x64.so -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/tricky_plt_stub/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/tricky_plt_stub/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/tricky_plt_stub/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/tricky_plt_stub/test.c -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/tricky_plt_stub/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/tricky_plt_stub/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/pass/tricky_plt_stub/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/pass/tricky_plt_stub/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/xfail-iters/large_offset/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/xfail-iters/large_offset/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/xfail-iters/large_offset/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/xfail-iters/large_offset/test.c -------------------------------------------------------------------------------- /grease-exe/tests/sanity/xfail-iters/large_offset/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/xfail-iters/large_offset/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/xfail-iters/large_offset/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/xfail-iters/large_offset/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/xfail-panic/empty/test.armv7l.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/xfail-panic/empty/test.armv7l.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/xfail-panic/empty/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/xfail-panic/empty/test.c -------------------------------------------------------------------------------- /grease-exe/tests/sanity/xfail-panic/empty/test.ppc32.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/xfail-panic/empty/test.ppc32.elf -------------------------------------------------------------------------------- /grease-exe/tests/sanity/xfail-panic/empty/test.x64.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/sanity/xfail-panic/empty/test.x64.elf -------------------------------------------------------------------------------- /grease-exe/tests/test.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/test.lua -------------------------------------------------------------------------------- /grease-exe/tests/ux/addr-override-bad-address.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ux/addr-override-bad-address.lua -------------------------------------------------------------------------------- /grease-exe/tests/ux/addr-override-bad-args.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ux/addr-override-bad-args.lua -------------------------------------------------------------------------------- /grease-exe/tests/ux/addr-override-bad-return.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ux/addr-override-bad-return.lua -------------------------------------------------------------------------------- /grease-exe/tests/ux/addr-override-function-not-found.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ux/addr-override-function-not-found.lua -------------------------------------------------------------------------------- /grease-exe/tests/ux/addr-override-multiple-functions.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ux/addr-override-multiple-functions.lua -------------------------------------------------------------------------------- /grease-exe/tests/ux/cfg-bad-sig.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ux/cfg-bad-sig.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/ux/debug-cmd.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ux/debug-cmd.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/ux/extra/addr-override-bad-args.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ux/extra/addr-override-bad-args.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/ux/extra/addr-override-bad-return.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ux/extra/addr-override-bad-return.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/ux/extra/addr-override-function-not-found.x64.cbl: -------------------------------------------------------------------------------- 1 | ; no functions here 2 | -------------------------------------------------------------------------------- /grease-exe/tests/ux/extra/addr-override-multiple-functions.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ux/extra/addr-override-multiple-functions.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/ux/extra/llvm-override-function-not-found.llvm.cbl: -------------------------------------------------------------------------------- 1 | ; no functions here 2 | -------------------------------------------------------------------------------- /grease-exe/tests/ux/extra/llvm-override-multiple-functions.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ux/extra/llvm-override-multiple-functions.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/ux/extra/llvm-override-unsupported-type.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ux/extra/llvm-override-unsupported-type.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/ux/json-shapes-bad.aux.json: -------------------------------------------------------------------------------- 1 | not json 2 | -------------------------------------------------------------------------------- /grease-exe/tests/ux/json-shapes-bad.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ux/json-shapes-bad.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/ux/llvm-override-function-not-found.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ux/llvm-override-function-not-found.lua -------------------------------------------------------------------------------- /grease-exe/tests/ux/llvm-override-multiple-functions.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ux/llvm-override-multiple-functions.lua -------------------------------------------------------------------------------- /grease-exe/tests/ux/llvm-override-unsupported-type.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ux/llvm-override-unsupported-type.lua -------------------------------------------------------------------------------- /grease-exe/tests/ux/overrides-yaml-bad-key.aux.yaml: -------------------------------------------------------------------------------- 1 | funktion addres overides: 2 | 0x1234: "wat" 3 | -------------------------------------------------------------------------------- /grease-exe/tests/ux/overrides-yaml-bad-key.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ux/overrides-yaml-bad-key.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/ux/overrides-yaml-empty.aux.yaml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /grease-exe/tests/ux/overrides-yaml-empty.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ux/overrides-yaml-empty.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/ux/timeout.llvm.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/ux/timeout.llvm.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/T247-cex-print-wrong-order.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/T247-cex-print-wrong-order.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/T279-must-fail-false-pos.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/T279-must-fail-false-pos.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/aliased-pointer-shape.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/aliased-pointer-shape.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/declare-in-override.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/declare-in-override.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/extra/T247-cex-print-wrong-order.txt: -------------------------------------------------------------------------------- 1 | rdi: 00+00 2 | 3 | 00: ##*ff 2a 4 | -------------------------------------------------------------------------------- /grease-exe/tests/x86/extra/aliased-shape.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/extra/aliased-shape.txt -------------------------------------------------------------------------------- /grease-exe/tests/x86/extra/id-ptr.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/extra/id-ptr.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/extra/json-shapes.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/extra/json-shapes.json -------------------------------------------------------------------------------- /grease-exe/tests/x86/extra/make-rax-point-to-deadbeef.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/extra/make-rax-point-to-deadbeef.txt -------------------------------------------------------------------------------- /grease-exe/tests/x86/extra/memshape-ptr-offset-init-precond.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/extra/memshape-ptr-offset-init-precond.txt -------------------------------------------------------------------------------- /grease-exe/tests/x86/extra/my-malloc.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/extra/my-malloc.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/extra/recv.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/extra/recv.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/extra/startup-override.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/extra/startup-override.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/htons.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/htons.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/id.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/id.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/json-shapes.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/json-shapes.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/memshape-ptr-offset.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/memshape-ptr-offset.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/null-read.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/null-read.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/null-write.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/null-write.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/pos-stack-offset-read.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/pos-stack-offset-read.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/pos-stack-offset-write.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/pos-stack-offset-write.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/recv-fresh-bytes.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/recv-fresh-bytes.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/simple-shapes.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/simple-shapes.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/startup-override.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/startup-override.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/user-override.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/user-override.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/write-to-fixed-address-in-memory.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/write-to-fixed-address-in-memory.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/write-to-fixed-address-in-rax.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/write-to-fixed-address-in-rax.x64.cbl -------------------------------------------------------------------------------- /grease-exe/tests/x86/write-to-rax-pointer.x64.cbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-exe/tests/x86/write-to-rax-pointer.x64.cbl -------------------------------------------------------------------------------- /grease-ppc/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-ppc/LICENSE -------------------------------------------------------------------------------- /grease-ppc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-ppc/README.md -------------------------------------------------------------------------------- /grease-ppc/grease-ppc.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-ppc/grease-ppc.cabal -------------------------------------------------------------------------------- /grease-ppc/src/Grease/Macaw/Arch/PPC32.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-ppc/src/Grease/Macaw/Arch/PPC32.hs -------------------------------------------------------------------------------- /grease-ppc/src/Grease/Macaw/Arch/PPC64.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-ppc/src/Grease/Macaw/Arch/PPC64.hs -------------------------------------------------------------------------------- /grease-x86/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-x86/LICENSE -------------------------------------------------------------------------------- /grease-x86/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-x86/README.md -------------------------------------------------------------------------------- /grease-x86/grease-x86.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-x86/grease-x86.cabal -------------------------------------------------------------------------------- /grease-x86/src/Grease/Macaw/Arch/X86.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease-x86/src/Grease/Macaw/Arch/X86.hs -------------------------------------------------------------------------------- /grease/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/LICENSE -------------------------------------------------------------------------------- /grease/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/README.md -------------------------------------------------------------------------------- /grease/grease.buildinfo.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/grease.buildinfo.json -------------------------------------------------------------------------------- /grease/grease.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/grease.cabal -------------------------------------------------------------------------------- /grease/src/Grease/AssertProperty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/AssertProperty.hs -------------------------------------------------------------------------------- /grease/src/Grease/BranchTracer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/BranchTracer.hs -------------------------------------------------------------------------------- /grease/src/Grease/BranchTracer/Diagnostic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/BranchTracer/Diagnostic.hs -------------------------------------------------------------------------------- /grease/src/Grease/Bug.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Bug.hs -------------------------------------------------------------------------------- /grease/src/Grease/Bug/UndefinedBehavior.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Bug/UndefinedBehavior.hs -------------------------------------------------------------------------------- /grease/src/Grease/Concretize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Concretize.hs -------------------------------------------------------------------------------- /grease/src/Grease/Concretize/JSON.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Concretize/JSON.hs -------------------------------------------------------------------------------- /grease/src/Grease/Concretize/ToConcretize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Concretize/ToConcretize.hs -------------------------------------------------------------------------------- /grease/src/Grease/Cursor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Cursor.hs -------------------------------------------------------------------------------- /grease/src/Grease/Cursor/List.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Cursor/List.hs -------------------------------------------------------------------------------- /grease/src/Grease/Cursor/Pointer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Cursor/Pointer.hs -------------------------------------------------------------------------------- /grease/src/Grease/Diagnostic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Diagnostic.hs -------------------------------------------------------------------------------- /grease/src/Grease/Diagnostic/Severity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Diagnostic/Severity.hs -------------------------------------------------------------------------------- /grease/src/Grease/Entrypoint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Entrypoint.hs -------------------------------------------------------------------------------- /grease/src/Grease/ErrorDescription.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/ErrorDescription.hs -------------------------------------------------------------------------------- /grease/src/Grease/ExecutionFeatures.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/ExecutionFeatures.hs -------------------------------------------------------------------------------- /grease/src/Grease/GitRev.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/GitRev.hs -------------------------------------------------------------------------------- /grease/src/Grease/Heuristic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Heuristic.hs -------------------------------------------------------------------------------- /grease/src/Grease/Heuristic/Diagnostic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Heuristic/Diagnostic.hs -------------------------------------------------------------------------------- /grease/src/Grease/Heuristic/Result.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Heuristic/Result.hs -------------------------------------------------------------------------------- /grease/src/Grease/Internal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Internal.hs -------------------------------------------------------------------------------- /grease/src/Grease/LLVM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/LLVM.hs -------------------------------------------------------------------------------- /grease/src/Grease/LLVM/DebugInfo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/LLVM/DebugInfo.hs -------------------------------------------------------------------------------- /grease/src/Grease/LLVM/Overrides.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/LLVM/Overrides.hs -------------------------------------------------------------------------------- /grease/src/Grease/LLVM/Overrides/Builtin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/LLVM/Overrides/Builtin.hs -------------------------------------------------------------------------------- /grease/src/Grease/LLVM/Overrides/Declare.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/LLVM/Overrides/Declare.hs -------------------------------------------------------------------------------- /grease/src/Grease/LLVM/Overrides/Diagnostic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/LLVM/Overrides/Diagnostic.hs -------------------------------------------------------------------------------- /grease/src/Grease/LLVM/Overrides/SExp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/LLVM/Overrides/SExp.hs -------------------------------------------------------------------------------- /grease/src/Grease/LLVM/Personality.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/LLVM/Personality.hs -------------------------------------------------------------------------------- /grease/src/Grease/LLVM/SetupHook.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/LLVM/SetupHook.hs -------------------------------------------------------------------------------- /grease/src/Grease/LLVM/SetupHook/Diagnostic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/LLVM/SetupHook/Diagnostic.hs -------------------------------------------------------------------------------- /grease/src/Grease/LLVM/SimulatorHooks.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/LLVM/SimulatorHooks.hs -------------------------------------------------------------------------------- /grease/src/Grease/LLVM/SimulatorHooks/Diagnostic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/LLVM/SimulatorHooks/Diagnostic.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/Arch.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/Arch.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/Discovery.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/Discovery.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/Dwarf.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/Dwarf.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/Entrypoint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/Entrypoint.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/Load.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/Load.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/Load/Diagnostic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/Load/Diagnostic.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/Load/Relocation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/Load/Relocation.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/Memory.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/Memory.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/Overrides.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/Overrides.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/Overrides/Address.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/Overrides/Address.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/Overrides/Builtin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/Overrides/Builtin.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/Overrides/Defs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/Overrides/Defs.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/Overrides/Networking.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/Overrides/Networking.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/Overrides/SExp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/Overrides/SExp.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/PLT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/PLT.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/RegName.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/RegName.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/ResolveCall.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/ResolveCall.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/ResolveCall/Diagnostic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/ResolveCall/Diagnostic.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/SetupHook.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/SetupHook.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/SimulatorHooks.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/SimulatorHooks.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/SimulatorHooks/Diagnostic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/SimulatorHooks/Diagnostic.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/SimulatorState.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/SimulatorState.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/SimulatorState/Networking.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/SimulatorState/Networking.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/SkippedCall.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/SkippedCall.hs -------------------------------------------------------------------------------- /grease/src/Grease/Macaw/Syscall.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Macaw/Syscall.hs -------------------------------------------------------------------------------- /grease/src/Grease/Main/Diagnostic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Main/Diagnostic.hs -------------------------------------------------------------------------------- /grease/src/Grease/MustFail.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/MustFail.hs -------------------------------------------------------------------------------- /grease/src/Grease/Options.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Options.hs -------------------------------------------------------------------------------- /grease/src/Grease/Output.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Output.hs -------------------------------------------------------------------------------- /grease/src/Grease/Overrides.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Overrides.hs -------------------------------------------------------------------------------- /grease/src/Grease/Panic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Panic.hs -------------------------------------------------------------------------------- /grease/src/Grease/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Pretty.hs -------------------------------------------------------------------------------- /grease/src/Grease/Refine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Refine.hs -------------------------------------------------------------------------------- /grease/src/Grease/Refine/Diagnostic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Refine/Diagnostic.hs -------------------------------------------------------------------------------- /grease/src/Grease/Requirement.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Requirement.hs -------------------------------------------------------------------------------- /grease/src/Grease/Setup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Setup.hs -------------------------------------------------------------------------------- /grease/src/Grease/Setup/Annotations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Setup/Annotations.hs -------------------------------------------------------------------------------- /grease/src/Grease/Setup/Diagnostic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Setup/Diagnostic.hs -------------------------------------------------------------------------------- /grease/src/Grease/Shape.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Shape.hs -------------------------------------------------------------------------------- /grease/src/Grease/Shape/Concretize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Shape/Concretize.hs -------------------------------------------------------------------------------- /grease/src/Grease/Shape/NoTag.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Shape/NoTag.hs -------------------------------------------------------------------------------- /grease/src/Grease/Shape/Parse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Shape/Parse.hs -------------------------------------------------------------------------------- /grease/src/Grease/Shape/Pointer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Shape/Pointer.hs -------------------------------------------------------------------------------- /grease/src/Grease/Shape/Print.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Shape/Print.hs -------------------------------------------------------------------------------- /grease/src/Grease/Shape/Selector.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Shape/Selector.hs -------------------------------------------------------------------------------- /grease/src/Grease/Shape/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Shape/Simple.hs -------------------------------------------------------------------------------- /grease/src/Grease/Skip.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Skip.hs -------------------------------------------------------------------------------- /grease/src/Grease/Skip/Diagnostic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Skip/Diagnostic.hs -------------------------------------------------------------------------------- /grease/src/Grease/Solver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Solver.hs -------------------------------------------------------------------------------- /grease/src/Grease/SymIO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/SymIO.hs -------------------------------------------------------------------------------- /grease/src/Grease/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Syntax.hs -------------------------------------------------------------------------------- /grease/src/Grease/Syntax/Overrides.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Syntax/Overrides.hs -------------------------------------------------------------------------------- /grease/src/Grease/Syscall.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Syscall.hs -------------------------------------------------------------------------------- /grease/src/Grease/Time.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Time.hs -------------------------------------------------------------------------------- /grease/src/Grease/Utility.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Utility.hs -------------------------------------------------------------------------------- /grease/src/Grease/Version.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/grease/src/Grease/Version.hs -------------------------------------------------------------------------------- /scripts/coverage.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/scripts/coverage.sh -------------------------------------------------------------------------------- /scripts/imports.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/scripts/imports.py -------------------------------------------------------------------------------- /scripts/lint/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/scripts/lint/Makefile -------------------------------------------------------------------------------- /scripts/lint/stale-todo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/scripts/lint/stale-todo.py -------------------------------------------------------------------------------- /scripts/lint/whitespace.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/scripts/lint/whitespace.py -------------------------------------------------------------------------------- /scripts/run-test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/grease/HEAD/scripts/run-test.py --------------------------------------------------------------------------------