├── .gitignore ├── Makefile ├── README.md ├── ams ├── machine-loader.rkt ├── machine.rkt └── queries.rkt ├── boolector └── boolector ├── bpf ├── analysis │ └── worst-case.rkt ├── constants.rkt ├── exec-count.rkt ├── interpreter.rkt ├── lang │ ├── main.rkt │ ├── op.rkt │ ├── parser.rkt │ └── transformer.rkt └── machine-instance.rkt ├── bpf2riscv └── stp.rkt ├── clean.sh ├── common ├── case-hex.rkt ├── data-structures.rkt ├── data-utils.rkt ├── debug.rkt ├── equality.rkt ├── file-utils.rkt ├── instructions.rkt ├── interp-utils.rkt ├── options.rkt ├── registers.rkt ├── symbolic-ops.rkt └── time-utils.rkt ├── count-time-spent.rkt ├── fig-8.rkt ├── fig-8.sh ├── genc └── genc.rkt ├── gensketch ├── gensketch-rws.rkt ├── gensketch.rkt └── rwsets.rkt ├── graphs ├── l2b-cc.pgf ├── l2b-fig8.csv ├── main.tex ├── o2b-cc.pgf └── o2b-fig8.csv ├── l2b-bench ├── jitsynth │ ├── ctags.ebpf │ ├── lepton.ebpf │ ├── libreoffice.ebpf │ ├── openssh.ebpf │ └── vsftpd.ebpf └── linux │ ├── ctags.ebpf │ ├── lepton.ebpf │ ├── libreoffice.ebpf │ ├── openssh.ebpf │ └── vsftpd.ebpf ├── linux ├── benchmarks │ ├── extracted │ │ ├── README.md │ │ ├── chrome0.ebpf.asm │ │ ├── chrome0.ebpf.bin │ │ ├── chrome0.ebpf.dump │ │ ├── chrome0.ebpf.in │ │ ├── chrome0.ebpf.rv │ │ ├── chrome0.in │ │ ├── chrome0.rv.bin │ │ ├── chrome1.ebpf.asm │ │ ├── chrome1.ebpf.bin │ │ ├── chrome1.ebpf.dump │ │ ├── chrome1.ebpf.in │ │ ├── chrome1.ebpf.rv │ │ ├── chrome1.in │ │ ├── chrome1.rv.bin │ │ ├── firefox0.ebpf.asm │ │ ├── firefox0.ebpf.bin │ │ ├── firefox0.ebpf.dump │ │ ├── firefox0.ebpf.in │ │ ├── firefox0.ebpf.rv │ │ ├── firefox0.in │ │ ├── firefox0.rv.bin │ │ ├── firefox1.ebpf.asm │ │ ├── firefox1.ebpf.bin │ │ ├── firefox1.ebpf.dump │ │ ├── firefox1.ebpf.in │ │ ├── firefox1.ebpf.rv │ │ ├── firefox1.in │ │ ├── firefox1.rv.bin │ │ ├── mandb0.ebpf.asm │ │ ├── mandb0.ebpf.bin │ │ ├── mandb0.ebpf.dump │ │ ├── mandb0.ebpf.in │ │ ├── mandb0.ebpf.rv │ │ ├── mandb0.in │ │ ├── mandb0.rv.bin │ │ ├── pulseaudio0.ebpf.asm │ │ ├── pulseaudio0.ebpf.bin │ │ ├── pulseaudio0.ebpf.dump │ │ ├── pulseaudio0.ebpf.in │ │ ├── pulseaudio0.ebpf.rv │ │ ├── pulseaudio0.in │ │ ├── pulseaudio0.rv.bin │ │ ├── qemu0.ebpf.asm │ │ ├── qemu0.ebpf.bin │ │ ├── qemu0.ebpf.dump │ │ ├── qemu0.ebpf.in │ │ ├── qemu0.ebpf.rv │ │ ├── qemu0.in │ │ ├── qemu0.rv.bin │ │ ├── runc0.ebpf.asm │ │ ├── runc0.ebpf.bin │ │ ├── runc0.ebpf.dump │ │ ├── runc0.ebpf.in │ │ ├── runc0.ebpf.rv │ │ ├── runc0.in │ │ ├── runc0.rv.bin │ │ ├── sshd0.ebpf.asm │ │ ├── sshd0.ebpf.bin │ │ ├── sshd0.ebpf.dump │ │ ├── sshd0.ebpf.in │ │ ├── sshd0.ebpf.rv │ │ ├── sshd0.in │ │ └── sshd0.rv.bin │ └── jitk │ │ ├── chrome.bpf │ │ ├── chrome.bpf_bvs │ │ ├── chrome.ebpf.asm │ │ ├── chrome.ebpf.bin │ │ ├── chrome.ebpf.dump │ │ ├── chrome.ebpf.out2 │ │ ├── chrome.ebpf.out3 │ │ ├── chrome.in │ │ ├── firefox.bpf │ │ ├── firefox.bpf_bvs │ │ ├── firefox.ebpf.asm │ │ ├── firefox.ebpf.bin │ │ ├── firefox.ebpf.dump │ │ ├── firefox.ebpf.out2 │ │ ├── firefox.ebpf.out3 │ │ ├── firefox.in │ │ ├── nacl.bpf │ │ ├── nacl.bpf_bvs │ │ ├── nacl.ebpf.asm │ │ ├── nacl.ebpf.bin │ │ ├── nacl.ebpf.dump │ │ ├── nacl.ebpf.out2 │ │ ├── nacl.ebpf.out3 │ │ ├── nacl.in │ │ ├── openssh.bpf │ │ ├── openssh.bpf_bvs │ │ ├── openssh.ebpf.asm │ │ ├── openssh.ebpf.bin │ │ ├── openssh.ebpf.dump │ │ ├── openssh.ebpf.out2 │ │ ├── openssh.ebpf.out3 │ │ ├── openssh.in │ │ ├── qemu.bpf │ │ ├── qemu.bpf_bvs │ │ ├── qemu.ebpf.asm │ │ ├── qemu.ebpf.bin │ │ ├── qemu.ebpf.dump │ │ ├── qemu.ebpf.out2 │ │ ├── qemu.ebpf.out3 │ │ ├── qemu.in │ │ ├── tor.bpf │ │ ├── tor.bpf_bvs │ │ ├── tor.ebpf.asm │ │ ├── tor.ebpf.bin │ │ ├── tor.ebpf.dump │ │ ├── tor.ebpf.out2 │ │ ├── tor.ebpf.out3 │ │ ├── tor.in │ │ ├── vsftpd.bpf │ │ ├── vsftpd.bpf_bvs │ │ ├── vsftpd.ebpf.asm │ │ ├── vsftpd.ebpf.bin │ │ ├── vsftpd.ebpf.dump │ │ ├── vsftpd.ebpf.out2 │ │ ├── vsftpd.ebpf.out3 │ │ └── vsftpd.in ├── bpf_jit_comp.c ├── bpf_jit_synth.c ├── build.sh ├── compile-app.py ├── jit.rkt ├── nop-pass.rkt └── test │ ├── bpf-tests.rkt │ ├── gentests.rkt │ ├── rawtests.c │ ├── run-tests.rkt │ └── utils.rkt ├── lsc ├── benchmarks │ ├── ctags.lsc │ ├── lepton.lsc │ ├── libreoffice.lsc │ ├── openssh.lsc │ ├── vsftpd.lsc │ └── vsftpd │ │ ├── data_connections.lsc │ │ ├── lockdown.lsc │ │ ├── setup_base.lsc │ │ ├── setup_postlogin.lsc │ │ ├── setup_postlogin_broker.lsc │ │ └── setup_prelogin.lsc ├── interpreter.rkt ├── lsc-dsl.rkt ├── machine-instance.rkt ├── openssh-impl │ └── compiler.rkt ├── parser.rkt ├── synthesizer.rkt └── test.rkt ├── lsc2bpf └── stp.rkt ├── make-csv.rkt ├── make-graphs.py ├── o2b-bench ├── jitsynth │ ├── chrome.ebpf │ ├── firefox.ebpf │ ├── nacl.ebpf │ ├── openssh.ebpf │ ├── qemu.ebpf │ ├── tor.ebpf │ └── vsftpd.ebpf └── linux │ ├── chrome.ebpf │ ├── firefox.ebpf │ ├── nacl.ebpf │ ├── openssh.ebpf │ ├── qemu.ebpf │ ├── tor.ebpf │ └── vsftpd.ebpf ├── old-bpf ├── interpreter.rkt ├── machine-instance.rkt └── parser.rkt ├── old-bpf2bpf └── stp.rkt ├── proofs ├── leanpkg.toml ├── lib.lean ├── thm1.lean ├── thm2.lean └── util │ ├── list.lean │ └── nat.lean ├── quick-b2r └── stp.rkt ├── quick-bpf └── machine-instance.rkt ├── quick-o2b └── stp.rkt ├── quick-old-bpf └── machine-instance.rkt ├── quick.sh ├── riscv ├── decoder.rkt ├── interpreter.rkt ├── machine-instance.rkt └── tostr.rkt ├── run-with-config.sh ├── slow.sh ├── synthesis ├── compiler-query.rkt └── query-utils.rkt ├── test-all-opts.rkt ├── test-no-load.rkt ├── test-no-opts.rkt ├── test ├── bpf │ └── interpreter.rkt ├── bpf2riscv │ ├── benchmarks.rkt │ ├── coding.rkt │ ├── compiler.rkt │ ├── e2e.rkt │ ├── interp-decode.rkt │ ├── rwsets.rkt │ └── synthesis.rkt ├── riscv │ ├── interpreter.rkt │ └── test-macros.rkt ├── rv64ui │ ├── add.rkt │ ├── addi.rkt │ ├── addiw.rkt │ ├── addw.rkt │ ├── and.rkt │ ├── andi.rkt │ ├── or.rkt │ ├── ori.rkt │ ├── sll.rkt │ ├── slli.rkt │ ├── slliw.rkt │ ├── sllw.rkt │ ├── slt.rkt │ ├── slti.rkt │ ├── sltiu.rkt │ ├── sltu.rkt │ ├── sra.rkt │ ├── srai.rkt │ ├── sraiw.rkt │ ├── sraw.rkt │ ├── srl.rkt │ ├── srli.rkt │ ├── srliw.rkt │ ├── srlw.rkt │ ├── sub.rkt │ ├── subw.rkt │ ├── xor.rkt │ └── xori.rkt ├── tester.rkt └── ubpf │ ├── add.data │ ├── add64.data │ ├── alu-arith.data │ ├── alu-bit.data │ ├── alu.data │ ├── alu64-arith.data │ ├── alu64-bit.data │ ├── alu64.data │ ├── arsh-reg.data │ ├── arsh.data │ ├── arsh32-high-shift.data │ ├── arsh64.data │ ├── bele │ ├── be16-high.data │ ├── be16.data │ ├── be32-high.data │ ├── be32.data │ ├── be64.data │ ├── ldxh-all.data │ ├── ldxh-all2.data │ ├── ldxw-all.data │ ├── le16.data │ ├── le32.data │ └── le64.data │ ├── calls │ ├── call-memfrob.data │ ├── call-save.data │ └── call.data │ ├── div32-high-divisor.data │ ├── div32-imm.data │ ├── div32-reg.data │ ├── div64-imm.data │ ├── div64-reg.data │ ├── early-exit.data │ ├── elf │ ├── bad-rel-offset.data │ ├── bad-rel-strtab-index.data │ ├── bad-rel-symbol-index.data │ ├── bad-rel-symbol-name.data │ ├── bad-rel-symbol-table-section-index.data │ ├── bad-rel-type.data │ ├── bad-section-header-offset.data │ ├── bad-section-header-size.data │ ├── bad-section-offset.data │ ├── bad-section-size.data │ ├── ehdr-short.data │ ├── no-text-section.data │ ├── ok.data │ ├── rel-sym-not-found.data │ ├── too-many-sections.data │ ├── wrong-byte-order.data │ ├── wrong-class.data │ ├── wrong-machine.data │ ├── wrong-osabi.data │ ├── wrong-type.data │ └── wrong-version.data │ ├── errors │ ├── err-call-bad-imm.data │ ├── err-call-unreg.data │ ├── err-div-by-zero-imm.data │ ├── err-div-by-zero-reg.data │ ├── err-div64-by-zero-reg.data │ ├── err-endian-size.data │ ├── err-incomplete-lddw.data │ ├── err-incomplete-lddw2.data │ ├── err-infinite-loop.data │ ├── err-invalid-reg-dst.data │ ├── err-invalid-reg-src.data │ ├── err-jmp-lddw.data │ ├── err-jmp-out.data │ ├── err-mod-by-zero-reg.data │ ├── err-mod64-by-zero-reg.data │ ├── err-noexit.data │ ├── err-stack-oob.data │ ├── err-too-many-instructions.data │ ├── err-unknown-opcode.data │ └── err-write-r10.dst │ ├── exit.data │ ├── ja.data │ ├── jeq-imm.data │ ├── jeq-reg.data │ ├── jge-imm.data │ ├── jgt-imm.data │ ├── jgt-reg.data │ ├── jit-bounce.data │ ├── jle-imm.data │ ├── jle-reg.data │ ├── jlt-imm.data │ ├── jlt-reg.data │ ├── jmp.data │ ├── jne-reg.data │ ├── jset-imm.data │ ├── jset-reg.data │ ├── jsge-imm.data │ ├── jsge-reg.data │ ├── jsgt-imm.data │ ├── jsgt-reg.data │ ├── jsle-imm.data │ ├── jsle-reg.data │ ├── jslt-imm.data │ ├── jslt-reg.data │ ├── ldx.data │ ├── ldxb-all.data │ ├── ldxb.data │ ├── ldxdw.data │ ├── ldxh-same-reg.data │ ├── ldxh.data │ ├── ldxw.data │ ├── loop │ └── prime.data │ ├── lsh-reg.data │ ├── mod.data │ ├── mod32.data │ ├── mod64.data │ ├── mov.data │ ├── mul-loop.data │ ├── mul32-imm.data │ ├── mul32-reg-overflow.data │ ├── mul32-reg.data │ ├── mul64-imm.data │ ├── mul64-reg.data │ ├── neg.data │ ├── neg64.data │ ├── not-supported │ ├── lddw.data │ ├── lddw2.data │ ├── stack.data │ ├── stack2.data │ └── string-stack.data │ ├── rsh-reg.data │ ├── rsh32.data │ ├── st.data │ ├── stb.data │ ├── stdw.data │ ├── sth.data │ ├── stw.data │ ├── stx.data │ ├── stxb-all.data │ ├── stxb-all2.data │ ├── stxb-chain.data │ ├── stxb.data │ ├── stxdw.data │ ├── stxh.data │ ├── stxw.data │ ├── subnet.data │ ├── tcp-port-80 │ ├── match.data │ ├── nomatch-ethertype.data │ ├── nomatch-proto.data │ ├── nomatch.data │ └── tcp-port-80.asm │ └── tcp-sack │ ├── .gitignore │ ├── Makefile │ ├── match.data │ ├── nomatch.data │ ├── pkt-nosack.hex │ ├── pkt-sack.hex │ ├── tcp-sack.asm │ └── tcp-sack.c ├── toy-ebpf-to-toy-riscv ├── make-compiler.rkt └── stp.rkt ├── toy-ebpf ├── interpreter.rkt └── machine-instance.rkt └── toy-riscv ├── interpreter.rkt └── machine-instance.rkt /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/.gitignore -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/README.md -------------------------------------------------------------------------------- /ams/machine-loader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/ams/machine-loader.rkt -------------------------------------------------------------------------------- /ams/machine.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/ams/machine.rkt -------------------------------------------------------------------------------- /ams/queries.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/ams/queries.rkt -------------------------------------------------------------------------------- /boolector/boolector: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/boolector/boolector -------------------------------------------------------------------------------- /bpf/analysis/worst-case.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/bpf/analysis/worst-case.rkt -------------------------------------------------------------------------------- /bpf/constants.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/bpf/constants.rkt -------------------------------------------------------------------------------- /bpf/exec-count.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/bpf/exec-count.rkt -------------------------------------------------------------------------------- /bpf/interpreter.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/bpf/interpreter.rkt -------------------------------------------------------------------------------- /bpf/lang/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/bpf/lang/main.rkt -------------------------------------------------------------------------------- /bpf/lang/op.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/bpf/lang/op.rkt -------------------------------------------------------------------------------- /bpf/lang/parser.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/bpf/lang/parser.rkt -------------------------------------------------------------------------------- /bpf/lang/transformer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/bpf/lang/transformer.rkt -------------------------------------------------------------------------------- /bpf/machine-instance.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/bpf/machine-instance.rkt -------------------------------------------------------------------------------- /bpf2riscv/stp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/bpf2riscv/stp.rkt -------------------------------------------------------------------------------- /clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/clean.sh -------------------------------------------------------------------------------- /common/case-hex.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/common/case-hex.rkt -------------------------------------------------------------------------------- /common/data-structures.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/common/data-structures.rkt -------------------------------------------------------------------------------- /common/data-utils.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/common/data-utils.rkt -------------------------------------------------------------------------------- /common/debug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/common/debug.rkt -------------------------------------------------------------------------------- /common/equality.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/common/equality.rkt -------------------------------------------------------------------------------- /common/file-utils.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/common/file-utils.rkt -------------------------------------------------------------------------------- /common/instructions.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/common/instructions.rkt -------------------------------------------------------------------------------- /common/interp-utils.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/common/interp-utils.rkt -------------------------------------------------------------------------------- /common/options.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/common/options.rkt -------------------------------------------------------------------------------- /common/registers.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/common/registers.rkt -------------------------------------------------------------------------------- /common/symbolic-ops.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/common/symbolic-ops.rkt -------------------------------------------------------------------------------- /common/time-utils.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/common/time-utils.rkt -------------------------------------------------------------------------------- /count-time-spent.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/count-time-spent.rkt -------------------------------------------------------------------------------- /fig-8.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/fig-8.rkt -------------------------------------------------------------------------------- /fig-8.sh: -------------------------------------------------------------------------------- 1 | racket fig-8.rkt; 2 | python3 make-graphs.py 2> /dev/null; 3 | -------------------------------------------------------------------------------- /genc/genc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/genc/genc.rkt -------------------------------------------------------------------------------- /gensketch/gensketch-rws.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/gensketch/gensketch-rws.rkt -------------------------------------------------------------------------------- /gensketch/gensketch.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/gensketch/gensketch.rkt -------------------------------------------------------------------------------- /gensketch/rwsets.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/gensketch/rwsets.rkt -------------------------------------------------------------------------------- /graphs/l2b-cc.pgf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/graphs/l2b-cc.pgf -------------------------------------------------------------------------------- /graphs/l2b-fig8.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/graphs/l2b-fig8.csv -------------------------------------------------------------------------------- /graphs/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/graphs/main.tex -------------------------------------------------------------------------------- /graphs/o2b-cc.pgf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/graphs/o2b-cc.pgf -------------------------------------------------------------------------------- /graphs/o2b-fig8.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/graphs/o2b-fig8.csv -------------------------------------------------------------------------------- /l2b-bench/jitsynth/ctags.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/l2b-bench/jitsynth/ctags.ebpf -------------------------------------------------------------------------------- /l2b-bench/jitsynth/lepton.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/l2b-bench/jitsynth/lepton.ebpf -------------------------------------------------------------------------------- /l2b-bench/jitsynth/libreoffice.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/l2b-bench/jitsynth/libreoffice.ebpf -------------------------------------------------------------------------------- /l2b-bench/jitsynth/openssh.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/l2b-bench/jitsynth/openssh.ebpf -------------------------------------------------------------------------------- /l2b-bench/jitsynth/vsftpd.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/l2b-bench/jitsynth/vsftpd.ebpf -------------------------------------------------------------------------------- /l2b-bench/linux/ctags.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/l2b-bench/linux/ctags.ebpf -------------------------------------------------------------------------------- /l2b-bench/linux/lepton.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/l2b-bench/linux/lepton.ebpf -------------------------------------------------------------------------------- /l2b-bench/linux/libreoffice.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/l2b-bench/linux/libreoffice.ebpf -------------------------------------------------------------------------------- /l2b-bench/linux/openssh.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/l2b-bench/linux/openssh.ebpf -------------------------------------------------------------------------------- /l2b-bench/linux/vsftpd.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/l2b-bench/linux/vsftpd.ebpf -------------------------------------------------------------------------------- /linux/benchmarks/extracted/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/README.md -------------------------------------------------------------------------------- /linux/benchmarks/extracted/chrome0.ebpf.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/chrome0.ebpf.asm -------------------------------------------------------------------------------- /linux/benchmarks/extracted/chrome0.ebpf.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/chrome0.ebpf.bin -------------------------------------------------------------------------------- /linux/benchmarks/extracted/chrome0.ebpf.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/chrome0.ebpf.dump -------------------------------------------------------------------------------- /linux/benchmarks/extracted/chrome0.ebpf.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/chrome0.ebpf.in -------------------------------------------------------------------------------- /linux/benchmarks/extracted/chrome0.ebpf.rv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/chrome0.ebpf.rv -------------------------------------------------------------------------------- /linux/benchmarks/extracted/chrome0.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/chrome0.in -------------------------------------------------------------------------------- /linux/benchmarks/extracted/chrome0.rv.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/chrome0.rv.bin -------------------------------------------------------------------------------- /linux/benchmarks/extracted/chrome1.ebpf.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/chrome1.ebpf.asm -------------------------------------------------------------------------------- /linux/benchmarks/extracted/chrome1.ebpf.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/chrome1.ebpf.bin -------------------------------------------------------------------------------- /linux/benchmarks/extracted/chrome1.ebpf.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/chrome1.ebpf.dump -------------------------------------------------------------------------------- /linux/benchmarks/extracted/chrome1.ebpf.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/chrome1.ebpf.in -------------------------------------------------------------------------------- /linux/benchmarks/extracted/chrome1.ebpf.rv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/chrome1.ebpf.rv -------------------------------------------------------------------------------- /linux/benchmarks/extracted/chrome1.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/chrome1.in -------------------------------------------------------------------------------- /linux/benchmarks/extracted/chrome1.rv.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/chrome1.rv.bin -------------------------------------------------------------------------------- /linux/benchmarks/extracted/firefox0.ebpf.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/firefox0.ebpf.asm -------------------------------------------------------------------------------- /linux/benchmarks/extracted/firefox0.ebpf.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/firefox0.ebpf.bin -------------------------------------------------------------------------------- /linux/benchmarks/extracted/firefox0.ebpf.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/firefox0.ebpf.dump -------------------------------------------------------------------------------- /linux/benchmarks/extracted/firefox0.ebpf.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/firefox0.ebpf.in -------------------------------------------------------------------------------- /linux/benchmarks/extracted/firefox0.ebpf.rv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/firefox0.ebpf.rv -------------------------------------------------------------------------------- /linux/benchmarks/extracted/firefox0.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/firefox0.in -------------------------------------------------------------------------------- /linux/benchmarks/extracted/firefox0.rv.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/firefox0.rv.bin -------------------------------------------------------------------------------- /linux/benchmarks/extracted/firefox1.ebpf.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/firefox1.ebpf.asm -------------------------------------------------------------------------------- /linux/benchmarks/extracted/firefox1.ebpf.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/firefox1.ebpf.bin -------------------------------------------------------------------------------- /linux/benchmarks/extracted/firefox1.ebpf.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/firefox1.ebpf.dump -------------------------------------------------------------------------------- /linux/benchmarks/extracted/firefox1.ebpf.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/firefox1.ebpf.in -------------------------------------------------------------------------------- /linux/benchmarks/extracted/firefox1.ebpf.rv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/firefox1.ebpf.rv -------------------------------------------------------------------------------- /linux/benchmarks/extracted/firefox1.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/firefox1.in -------------------------------------------------------------------------------- /linux/benchmarks/extracted/firefox1.rv.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/firefox1.rv.bin -------------------------------------------------------------------------------- /linux/benchmarks/extracted/mandb0.ebpf.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/mandb0.ebpf.asm -------------------------------------------------------------------------------- /linux/benchmarks/extracted/mandb0.ebpf.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/mandb0.ebpf.bin -------------------------------------------------------------------------------- /linux/benchmarks/extracted/mandb0.ebpf.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/mandb0.ebpf.dump -------------------------------------------------------------------------------- /linux/benchmarks/extracted/mandb0.ebpf.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/mandb0.ebpf.in -------------------------------------------------------------------------------- /linux/benchmarks/extracted/mandb0.ebpf.rv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/mandb0.ebpf.rv -------------------------------------------------------------------------------- /linux/benchmarks/extracted/mandb0.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/mandb0.in -------------------------------------------------------------------------------- /linux/benchmarks/extracted/mandb0.rv.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/mandb0.rv.bin -------------------------------------------------------------------------------- /linux/benchmarks/extracted/pulseaudio0.ebpf.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/pulseaudio0.ebpf.asm -------------------------------------------------------------------------------- /linux/benchmarks/extracted/pulseaudio0.ebpf.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/pulseaudio0.ebpf.bin -------------------------------------------------------------------------------- /linux/benchmarks/extracted/pulseaudio0.ebpf.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/pulseaudio0.ebpf.dump -------------------------------------------------------------------------------- /linux/benchmarks/extracted/pulseaudio0.ebpf.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/pulseaudio0.ebpf.in -------------------------------------------------------------------------------- /linux/benchmarks/extracted/pulseaudio0.ebpf.rv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/pulseaudio0.ebpf.rv -------------------------------------------------------------------------------- /linux/benchmarks/extracted/pulseaudio0.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/pulseaudio0.in -------------------------------------------------------------------------------- /linux/benchmarks/extracted/pulseaudio0.rv.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/pulseaudio0.rv.bin -------------------------------------------------------------------------------- /linux/benchmarks/extracted/qemu0.ebpf.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/qemu0.ebpf.asm -------------------------------------------------------------------------------- /linux/benchmarks/extracted/qemu0.ebpf.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/qemu0.ebpf.bin -------------------------------------------------------------------------------- /linux/benchmarks/extracted/qemu0.ebpf.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/qemu0.ebpf.dump -------------------------------------------------------------------------------- /linux/benchmarks/extracted/qemu0.ebpf.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/qemu0.ebpf.in -------------------------------------------------------------------------------- /linux/benchmarks/extracted/qemu0.ebpf.rv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/qemu0.ebpf.rv -------------------------------------------------------------------------------- /linux/benchmarks/extracted/qemu0.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/qemu0.in -------------------------------------------------------------------------------- /linux/benchmarks/extracted/qemu0.rv.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/qemu0.rv.bin -------------------------------------------------------------------------------- /linux/benchmarks/extracted/runc0.ebpf.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/runc0.ebpf.asm -------------------------------------------------------------------------------- /linux/benchmarks/extracted/runc0.ebpf.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/runc0.ebpf.bin -------------------------------------------------------------------------------- /linux/benchmarks/extracted/runc0.ebpf.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/runc0.ebpf.dump -------------------------------------------------------------------------------- /linux/benchmarks/extracted/runc0.ebpf.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/runc0.ebpf.in -------------------------------------------------------------------------------- /linux/benchmarks/extracted/runc0.ebpf.rv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/runc0.ebpf.rv -------------------------------------------------------------------------------- /linux/benchmarks/extracted/runc0.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/runc0.in -------------------------------------------------------------------------------- /linux/benchmarks/extracted/runc0.rv.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/runc0.rv.bin -------------------------------------------------------------------------------- /linux/benchmarks/extracted/sshd0.ebpf.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/sshd0.ebpf.asm -------------------------------------------------------------------------------- /linux/benchmarks/extracted/sshd0.ebpf.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/sshd0.ebpf.bin -------------------------------------------------------------------------------- /linux/benchmarks/extracted/sshd0.ebpf.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/sshd0.ebpf.dump -------------------------------------------------------------------------------- /linux/benchmarks/extracted/sshd0.ebpf.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/sshd0.ebpf.in -------------------------------------------------------------------------------- /linux/benchmarks/extracted/sshd0.ebpf.rv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/sshd0.ebpf.rv -------------------------------------------------------------------------------- /linux/benchmarks/extracted/sshd0.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/sshd0.in -------------------------------------------------------------------------------- /linux/benchmarks/extracted/sshd0.rv.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/extracted/sshd0.rv.bin -------------------------------------------------------------------------------- /linux/benchmarks/jitk/chrome.bpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/chrome.bpf -------------------------------------------------------------------------------- /linux/benchmarks/jitk/chrome.bpf_bvs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/chrome.bpf_bvs -------------------------------------------------------------------------------- /linux/benchmarks/jitk/chrome.ebpf.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/chrome.ebpf.asm -------------------------------------------------------------------------------- /linux/benchmarks/jitk/chrome.ebpf.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/chrome.ebpf.bin -------------------------------------------------------------------------------- /linux/benchmarks/jitk/chrome.ebpf.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/chrome.ebpf.dump -------------------------------------------------------------------------------- /linux/benchmarks/jitk/chrome.ebpf.out2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/chrome.ebpf.out2 -------------------------------------------------------------------------------- /linux/benchmarks/jitk/chrome.ebpf.out3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/chrome.ebpf.out3 -------------------------------------------------------------------------------- /linux/benchmarks/jitk/chrome.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/chrome.in -------------------------------------------------------------------------------- /linux/benchmarks/jitk/firefox.bpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/firefox.bpf -------------------------------------------------------------------------------- /linux/benchmarks/jitk/firefox.bpf_bvs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/firefox.bpf_bvs -------------------------------------------------------------------------------- /linux/benchmarks/jitk/firefox.ebpf.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/firefox.ebpf.asm -------------------------------------------------------------------------------- /linux/benchmarks/jitk/firefox.ebpf.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/firefox.ebpf.bin -------------------------------------------------------------------------------- /linux/benchmarks/jitk/firefox.ebpf.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/firefox.ebpf.dump -------------------------------------------------------------------------------- /linux/benchmarks/jitk/firefox.ebpf.out2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/firefox.ebpf.out2 -------------------------------------------------------------------------------- /linux/benchmarks/jitk/firefox.ebpf.out3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/firefox.ebpf.out3 -------------------------------------------------------------------------------- /linux/benchmarks/jitk/firefox.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/firefox.in -------------------------------------------------------------------------------- /linux/benchmarks/jitk/nacl.bpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/nacl.bpf -------------------------------------------------------------------------------- /linux/benchmarks/jitk/nacl.bpf_bvs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/nacl.bpf_bvs -------------------------------------------------------------------------------- /linux/benchmarks/jitk/nacl.ebpf.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/nacl.ebpf.asm -------------------------------------------------------------------------------- /linux/benchmarks/jitk/nacl.ebpf.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/nacl.ebpf.bin -------------------------------------------------------------------------------- /linux/benchmarks/jitk/nacl.ebpf.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/nacl.ebpf.dump -------------------------------------------------------------------------------- /linux/benchmarks/jitk/nacl.ebpf.out2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/nacl.ebpf.out2 -------------------------------------------------------------------------------- /linux/benchmarks/jitk/nacl.ebpf.out3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/nacl.ebpf.out3 -------------------------------------------------------------------------------- /linux/benchmarks/jitk/nacl.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/nacl.in -------------------------------------------------------------------------------- /linux/benchmarks/jitk/openssh.bpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/openssh.bpf -------------------------------------------------------------------------------- /linux/benchmarks/jitk/openssh.bpf_bvs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/openssh.bpf_bvs -------------------------------------------------------------------------------- /linux/benchmarks/jitk/openssh.ebpf.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/openssh.ebpf.asm -------------------------------------------------------------------------------- /linux/benchmarks/jitk/openssh.ebpf.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/openssh.ebpf.bin -------------------------------------------------------------------------------- /linux/benchmarks/jitk/openssh.ebpf.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/openssh.ebpf.dump -------------------------------------------------------------------------------- /linux/benchmarks/jitk/openssh.ebpf.out2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/openssh.ebpf.out2 -------------------------------------------------------------------------------- /linux/benchmarks/jitk/openssh.ebpf.out3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/openssh.ebpf.out3 -------------------------------------------------------------------------------- /linux/benchmarks/jitk/openssh.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/openssh.in -------------------------------------------------------------------------------- /linux/benchmarks/jitk/qemu.bpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/qemu.bpf -------------------------------------------------------------------------------- /linux/benchmarks/jitk/qemu.bpf_bvs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/qemu.bpf_bvs -------------------------------------------------------------------------------- /linux/benchmarks/jitk/qemu.ebpf.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/qemu.ebpf.asm -------------------------------------------------------------------------------- /linux/benchmarks/jitk/qemu.ebpf.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/qemu.ebpf.bin -------------------------------------------------------------------------------- /linux/benchmarks/jitk/qemu.ebpf.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/qemu.ebpf.dump -------------------------------------------------------------------------------- /linux/benchmarks/jitk/qemu.ebpf.out2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/qemu.ebpf.out2 -------------------------------------------------------------------------------- /linux/benchmarks/jitk/qemu.ebpf.out3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/qemu.ebpf.out3 -------------------------------------------------------------------------------- /linux/benchmarks/jitk/qemu.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/qemu.in -------------------------------------------------------------------------------- /linux/benchmarks/jitk/tor.bpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/tor.bpf -------------------------------------------------------------------------------- /linux/benchmarks/jitk/tor.bpf_bvs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/tor.bpf_bvs -------------------------------------------------------------------------------- /linux/benchmarks/jitk/tor.ebpf.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/tor.ebpf.asm -------------------------------------------------------------------------------- /linux/benchmarks/jitk/tor.ebpf.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/tor.ebpf.bin -------------------------------------------------------------------------------- /linux/benchmarks/jitk/tor.ebpf.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/tor.ebpf.dump -------------------------------------------------------------------------------- /linux/benchmarks/jitk/tor.ebpf.out2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/tor.ebpf.out2 -------------------------------------------------------------------------------- /linux/benchmarks/jitk/tor.ebpf.out3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/tor.ebpf.out3 -------------------------------------------------------------------------------- /linux/benchmarks/jitk/tor.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/tor.in -------------------------------------------------------------------------------- /linux/benchmarks/jitk/vsftpd.bpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/vsftpd.bpf -------------------------------------------------------------------------------- /linux/benchmarks/jitk/vsftpd.bpf_bvs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/vsftpd.bpf_bvs -------------------------------------------------------------------------------- /linux/benchmarks/jitk/vsftpd.ebpf.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/vsftpd.ebpf.asm -------------------------------------------------------------------------------- /linux/benchmarks/jitk/vsftpd.ebpf.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/vsftpd.ebpf.bin -------------------------------------------------------------------------------- /linux/benchmarks/jitk/vsftpd.ebpf.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/vsftpd.ebpf.dump -------------------------------------------------------------------------------- /linux/benchmarks/jitk/vsftpd.ebpf.out2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/vsftpd.ebpf.out2 -------------------------------------------------------------------------------- /linux/benchmarks/jitk/vsftpd.ebpf.out3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/vsftpd.ebpf.out3 -------------------------------------------------------------------------------- /linux/benchmarks/jitk/vsftpd.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/benchmarks/jitk/vsftpd.in -------------------------------------------------------------------------------- /linux/bpf_jit_comp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/bpf_jit_comp.c -------------------------------------------------------------------------------- /linux/bpf_jit_synth.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/bpf_jit_synth.c -------------------------------------------------------------------------------- /linux/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/build.sh -------------------------------------------------------------------------------- /linux/compile-app.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/compile-app.py -------------------------------------------------------------------------------- /linux/jit.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/jit.rkt -------------------------------------------------------------------------------- /linux/nop-pass.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/nop-pass.rkt -------------------------------------------------------------------------------- /linux/test/bpf-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/test/bpf-tests.rkt -------------------------------------------------------------------------------- /linux/test/gentests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/test/gentests.rkt -------------------------------------------------------------------------------- /linux/test/rawtests.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/test/rawtests.c -------------------------------------------------------------------------------- /linux/test/run-tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/test/run-tests.rkt -------------------------------------------------------------------------------- /linux/test/utils.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/linux/test/utils.rkt -------------------------------------------------------------------------------- /lsc/benchmarks/ctags.lsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/lsc/benchmarks/ctags.lsc -------------------------------------------------------------------------------- /lsc/benchmarks/lepton.lsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/lsc/benchmarks/lepton.lsc -------------------------------------------------------------------------------- /lsc/benchmarks/libreoffice.lsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/lsc/benchmarks/libreoffice.lsc -------------------------------------------------------------------------------- /lsc/benchmarks/openssh.lsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/lsc/benchmarks/openssh.lsc -------------------------------------------------------------------------------- /lsc/benchmarks/vsftpd.lsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/lsc/benchmarks/vsftpd.lsc -------------------------------------------------------------------------------- /lsc/benchmarks/vsftpd/data_connections.lsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/lsc/benchmarks/vsftpd/data_connections.lsc -------------------------------------------------------------------------------- /lsc/benchmarks/vsftpd/lockdown.lsc: -------------------------------------------------------------------------------- 1 | DEFAULT(KILL) 2 | -------------------------------------------------------------------------------- /lsc/benchmarks/vsftpd/setup_base.lsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/lsc/benchmarks/vsftpd/setup_base.lsc -------------------------------------------------------------------------------- /lsc/benchmarks/vsftpd/setup_postlogin.lsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/lsc/benchmarks/vsftpd/setup_postlogin.lsc -------------------------------------------------------------------------------- /lsc/benchmarks/vsftpd/setup_postlogin_broker.lsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/lsc/benchmarks/vsftpd/setup_postlogin_broker.lsc -------------------------------------------------------------------------------- /lsc/benchmarks/vsftpd/setup_prelogin.lsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/lsc/benchmarks/vsftpd/setup_prelogin.lsc -------------------------------------------------------------------------------- /lsc/interpreter.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/lsc/interpreter.rkt -------------------------------------------------------------------------------- /lsc/lsc-dsl.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/lsc/lsc-dsl.rkt -------------------------------------------------------------------------------- /lsc/machine-instance.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/lsc/machine-instance.rkt -------------------------------------------------------------------------------- /lsc/openssh-impl/compiler.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/lsc/openssh-impl/compiler.rkt -------------------------------------------------------------------------------- /lsc/parser.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/lsc/parser.rkt -------------------------------------------------------------------------------- /lsc/synthesizer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/lsc/synthesizer.rkt -------------------------------------------------------------------------------- /lsc/test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/lsc/test.rkt -------------------------------------------------------------------------------- /lsc2bpf/stp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/lsc2bpf/stp.rkt -------------------------------------------------------------------------------- /make-csv.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/make-csv.rkt -------------------------------------------------------------------------------- /make-graphs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/make-graphs.py -------------------------------------------------------------------------------- /o2b-bench/jitsynth/chrome.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/o2b-bench/jitsynth/chrome.ebpf -------------------------------------------------------------------------------- /o2b-bench/jitsynth/firefox.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/o2b-bench/jitsynth/firefox.ebpf -------------------------------------------------------------------------------- /o2b-bench/jitsynth/nacl.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/o2b-bench/jitsynth/nacl.ebpf -------------------------------------------------------------------------------- /o2b-bench/jitsynth/openssh.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/o2b-bench/jitsynth/openssh.ebpf -------------------------------------------------------------------------------- /o2b-bench/jitsynth/qemu.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/o2b-bench/jitsynth/qemu.ebpf -------------------------------------------------------------------------------- /o2b-bench/jitsynth/tor.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/o2b-bench/jitsynth/tor.ebpf -------------------------------------------------------------------------------- /o2b-bench/jitsynth/vsftpd.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/o2b-bench/jitsynth/vsftpd.ebpf -------------------------------------------------------------------------------- /o2b-bench/linux/chrome.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/o2b-bench/linux/chrome.ebpf -------------------------------------------------------------------------------- /o2b-bench/linux/firefox.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/o2b-bench/linux/firefox.ebpf -------------------------------------------------------------------------------- /o2b-bench/linux/nacl.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/o2b-bench/linux/nacl.ebpf -------------------------------------------------------------------------------- /o2b-bench/linux/openssh.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/o2b-bench/linux/openssh.ebpf -------------------------------------------------------------------------------- /o2b-bench/linux/qemu.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/o2b-bench/linux/qemu.ebpf -------------------------------------------------------------------------------- /o2b-bench/linux/tor.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/o2b-bench/linux/tor.ebpf -------------------------------------------------------------------------------- /o2b-bench/linux/vsftpd.ebpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/o2b-bench/linux/vsftpd.ebpf -------------------------------------------------------------------------------- /old-bpf/interpreter.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/old-bpf/interpreter.rkt -------------------------------------------------------------------------------- /old-bpf/machine-instance.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/old-bpf/machine-instance.rkt -------------------------------------------------------------------------------- /old-bpf/parser.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/old-bpf/parser.rkt -------------------------------------------------------------------------------- /old-bpf2bpf/stp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/old-bpf2bpf/stp.rkt -------------------------------------------------------------------------------- /proofs/leanpkg.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/proofs/leanpkg.toml -------------------------------------------------------------------------------- /proofs/lib.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/proofs/lib.lean -------------------------------------------------------------------------------- /proofs/thm1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/proofs/thm1.lean -------------------------------------------------------------------------------- /proofs/thm2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/proofs/thm2.lean -------------------------------------------------------------------------------- /proofs/util/list.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/proofs/util/list.lean -------------------------------------------------------------------------------- /proofs/util/nat.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/proofs/util/nat.lean -------------------------------------------------------------------------------- /quick-b2r/stp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/quick-b2r/stp.rkt -------------------------------------------------------------------------------- /quick-bpf/machine-instance.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/quick-bpf/machine-instance.rkt -------------------------------------------------------------------------------- /quick-o2b/stp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/quick-o2b/stp.rkt -------------------------------------------------------------------------------- /quick-old-bpf/machine-instance.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/quick-old-bpf/machine-instance.rkt -------------------------------------------------------------------------------- /quick.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/quick.sh -------------------------------------------------------------------------------- /riscv/decoder.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/riscv/decoder.rkt -------------------------------------------------------------------------------- /riscv/interpreter.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/riscv/interpreter.rkt -------------------------------------------------------------------------------- /riscv/machine-instance.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/riscv/machine-instance.rkt -------------------------------------------------------------------------------- /riscv/tostr.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/riscv/tostr.rkt -------------------------------------------------------------------------------- /run-with-config.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/run-with-config.sh -------------------------------------------------------------------------------- /slow.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/slow.sh -------------------------------------------------------------------------------- /synthesis/compiler-query.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/synthesis/compiler-query.rkt -------------------------------------------------------------------------------- /synthesis/query-utils.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/synthesis/query-utils.rkt -------------------------------------------------------------------------------- /test-all-opts.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test-all-opts.rkt -------------------------------------------------------------------------------- /test-no-load.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test-no-load.rkt -------------------------------------------------------------------------------- /test-no-opts.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test-no-opts.rkt -------------------------------------------------------------------------------- /test/bpf/interpreter.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/bpf/interpreter.rkt -------------------------------------------------------------------------------- /test/bpf2riscv/benchmarks.rkt: -------------------------------------------------------------------------------- 1 | #lang rosette 2 | -------------------------------------------------------------------------------- /test/bpf2riscv/coding.rkt: -------------------------------------------------------------------------------- 1 | #lang rosette 2 | -------------------------------------------------------------------------------- /test/bpf2riscv/compiler.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/bpf2riscv/compiler.rkt -------------------------------------------------------------------------------- /test/bpf2riscv/e2e.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/bpf2riscv/e2e.rkt -------------------------------------------------------------------------------- /test/bpf2riscv/interp-decode.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/bpf2riscv/interp-decode.rkt -------------------------------------------------------------------------------- /test/bpf2riscv/rwsets.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/bpf2riscv/rwsets.rkt -------------------------------------------------------------------------------- /test/bpf2riscv/synthesis.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/bpf2riscv/synthesis.rkt -------------------------------------------------------------------------------- /test/riscv/interpreter.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/riscv/interpreter.rkt -------------------------------------------------------------------------------- /test/riscv/test-macros.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/riscv/test-macros.rkt -------------------------------------------------------------------------------- /test/rv64ui/add.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/add.rkt -------------------------------------------------------------------------------- /test/rv64ui/addi.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/addi.rkt -------------------------------------------------------------------------------- /test/rv64ui/addiw.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/addiw.rkt -------------------------------------------------------------------------------- /test/rv64ui/addw.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/addw.rkt -------------------------------------------------------------------------------- /test/rv64ui/and.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/and.rkt -------------------------------------------------------------------------------- /test/rv64ui/andi.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/andi.rkt -------------------------------------------------------------------------------- /test/rv64ui/or.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/or.rkt -------------------------------------------------------------------------------- /test/rv64ui/ori.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/ori.rkt -------------------------------------------------------------------------------- /test/rv64ui/sll.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/sll.rkt -------------------------------------------------------------------------------- /test/rv64ui/slli.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/slli.rkt -------------------------------------------------------------------------------- /test/rv64ui/slliw.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/slliw.rkt -------------------------------------------------------------------------------- /test/rv64ui/sllw.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/sllw.rkt -------------------------------------------------------------------------------- /test/rv64ui/slt.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/slt.rkt -------------------------------------------------------------------------------- /test/rv64ui/slti.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/slti.rkt -------------------------------------------------------------------------------- /test/rv64ui/sltiu.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/sltiu.rkt -------------------------------------------------------------------------------- /test/rv64ui/sltu.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/sltu.rkt -------------------------------------------------------------------------------- /test/rv64ui/sra.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/sra.rkt -------------------------------------------------------------------------------- /test/rv64ui/srai.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/srai.rkt -------------------------------------------------------------------------------- /test/rv64ui/sraiw.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/sraiw.rkt -------------------------------------------------------------------------------- /test/rv64ui/sraw.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/sraw.rkt -------------------------------------------------------------------------------- /test/rv64ui/srl.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/srl.rkt -------------------------------------------------------------------------------- /test/rv64ui/srli.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/srli.rkt -------------------------------------------------------------------------------- /test/rv64ui/srliw.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/srliw.rkt -------------------------------------------------------------------------------- /test/rv64ui/srlw.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/srlw.rkt -------------------------------------------------------------------------------- /test/rv64ui/sub.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/sub.rkt -------------------------------------------------------------------------------- /test/rv64ui/subw.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/subw.rkt -------------------------------------------------------------------------------- /test/rv64ui/xor.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/xor.rkt -------------------------------------------------------------------------------- /test/rv64ui/xori.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/rv64ui/xori.rkt -------------------------------------------------------------------------------- /test/tester.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/tester.rkt -------------------------------------------------------------------------------- /test/ubpf/add.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/add.data -------------------------------------------------------------------------------- /test/ubpf/add64.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/add64.data -------------------------------------------------------------------------------- /test/ubpf/alu-arith.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/alu-arith.data -------------------------------------------------------------------------------- /test/ubpf/alu-bit.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/alu-bit.data -------------------------------------------------------------------------------- /test/ubpf/alu.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/alu.data -------------------------------------------------------------------------------- /test/ubpf/alu64-arith.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/alu64-arith.data -------------------------------------------------------------------------------- /test/ubpf/alu64-bit.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/alu64-bit.data -------------------------------------------------------------------------------- /test/ubpf/alu64.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/alu64.data -------------------------------------------------------------------------------- /test/ubpf/arsh-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/arsh-reg.data -------------------------------------------------------------------------------- /test/ubpf/arsh.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/arsh.data -------------------------------------------------------------------------------- /test/ubpf/arsh32-high-shift.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/arsh32-high-shift.data -------------------------------------------------------------------------------- /test/ubpf/arsh64.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/arsh64.data -------------------------------------------------------------------------------- /test/ubpf/bele/be16-high.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/bele/be16-high.data -------------------------------------------------------------------------------- /test/ubpf/bele/be16.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/bele/be16.data -------------------------------------------------------------------------------- /test/ubpf/bele/be32-high.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/bele/be32-high.data -------------------------------------------------------------------------------- /test/ubpf/bele/be32.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/bele/be32.data -------------------------------------------------------------------------------- /test/ubpf/bele/be64.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/bele/be64.data -------------------------------------------------------------------------------- /test/ubpf/bele/ldxh-all.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/bele/ldxh-all.data -------------------------------------------------------------------------------- /test/ubpf/bele/ldxh-all2.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/bele/ldxh-all2.data -------------------------------------------------------------------------------- /test/ubpf/bele/ldxw-all.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/bele/ldxw-all.data -------------------------------------------------------------------------------- /test/ubpf/bele/le16.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/bele/le16.data -------------------------------------------------------------------------------- /test/ubpf/bele/le32.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/bele/le32.data -------------------------------------------------------------------------------- /test/ubpf/bele/le64.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/bele/le64.data -------------------------------------------------------------------------------- /test/ubpf/calls/call-memfrob.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/calls/call-memfrob.data -------------------------------------------------------------------------------- /test/ubpf/calls/call-save.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/calls/call-save.data -------------------------------------------------------------------------------- /test/ubpf/calls/call.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/calls/call.data -------------------------------------------------------------------------------- /test/ubpf/div32-high-divisor.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/div32-high-divisor.data -------------------------------------------------------------------------------- /test/ubpf/div32-imm.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/div32-imm.data -------------------------------------------------------------------------------- /test/ubpf/div32-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/div32-reg.data -------------------------------------------------------------------------------- /test/ubpf/div64-imm.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/div64-imm.data -------------------------------------------------------------------------------- /test/ubpf/div64-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/div64-reg.data -------------------------------------------------------------------------------- /test/ubpf/early-exit.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/early-exit.data -------------------------------------------------------------------------------- /test/ubpf/elf/bad-rel-offset.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/elf/bad-rel-offset.data -------------------------------------------------------------------------------- /test/ubpf/elf/bad-rel-strtab-index.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/elf/bad-rel-strtab-index.data -------------------------------------------------------------------------------- /test/ubpf/elf/bad-rel-symbol-index.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/elf/bad-rel-symbol-index.data -------------------------------------------------------------------------------- /test/ubpf/elf/bad-rel-symbol-name.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/elf/bad-rel-symbol-name.data -------------------------------------------------------------------------------- /test/ubpf/elf/bad-rel-symbol-table-section-index.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/elf/bad-rel-symbol-table-section-index.data -------------------------------------------------------------------------------- /test/ubpf/elf/bad-rel-type.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/elf/bad-rel-type.data -------------------------------------------------------------------------------- /test/ubpf/elf/bad-section-header-offset.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/elf/bad-section-header-offset.data -------------------------------------------------------------------------------- /test/ubpf/elf/bad-section-header-size.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/elf/bad-section-header-size.data -------------------------------------------------------------------------------- /test/ubpf/elf/bad-section-offset.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/elf/bad-section-offset.data -------------------------------------------------------------------------------- /test/ubpf/elf/bad-section-size.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/elf/bad-section-size.data -------------------------------------------------------------------------------- /test/ubpf/elf/ehdr-short.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/elf/ehdr-short.data -------------------------------------------------------------------------------- /test/ubpf/elf/no-text-section.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/elf/no-text-section.data -------------------------------------------------------------------------------- /test/ubpf/elf/ok.data: -------------------------------------------------------------------------------- 1 | -- pyelf 2 | -- result 3 | 0x2a 4 | -------------------------------------------------------------------------------- /test/ubpf/elf/rel-sym-not-found.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/elf/rel-sym-not-found.data -------------------------------------------------------------------------------- /test/ubpf/elf/too-many-sections.data: -------------------------------------------------------------------------------- 1 | -- pyelf 2 | ehdr.e_shnum = 1024 3 | -- error 4 | Failed to load code: too many sections 5 | -------------------------------------------------------------------------------- /test/ubpf/elf/wrong-byte-order.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/elf/wrong-byte-order.data -------------------------------------------------------------------------------- /test/ubpf/elf/wrong-class.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/elf/wrong-class.data -------------------------------------------------------------------------------- /test/ubpf/elf/wrong-machine.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/elf/wrong-machine.data -------------------------------------------------------------------------------- /test/ubpf/elf/wrong-osabi.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/elf/wrong-osabi.data -------------------------------------------------------------------------------- /test/ubpf/elf/wrong-type.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/elf/wrong-type.data -------------------------------------------------------------------------------- /test/ubpf/elf/wrong-version.data: -------------------------------------------------------------------------------- 1 | -- pyelf 2 | ehdr.e_ident.EI_VERSION = 2 3 | -- error 4 | Failed to load code: wrong version 5 | -------------------------------------------------------------------------------- /test/ubpf/errors/err-call-bad-imm.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/errors/err-call-bad-imm.data -------------------------------------------------------------------------------- /test/ubpf/errors/err-call-unreg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/errors/err-call-unreg.data -------------------------------------------------------------------------------- /test/ubpf/errors/err-div-by-zero-imm.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/errors/err-div-by-zero-imm.data -------------------------------------------------------------------------------- /test/ubpf/errors/err-div-by-zero-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/errors/err-div-by-zero-reg.data -------------------------------------------------------------------------------- /test/ubpf/errors/err-div64-by-zero-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/errors/err-div64-by-zero-reg.data -------------------------------------------------------------------------------- /test/ubpf/errors/err-endian-size.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/errors/err-endian-size.data -------------------------------------------------------------------------------- /test/ubpf/errors/err-incomplete-lddw.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/errors/err-incomplete-lddw.data -------------------------------------------------------------------------------- /test/ubpf/errors/err-incomplete-lddw2.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/errors/err-incomplete-lddw2.data -------------------------------------------------------------------------------- /test/ubpf/errors/err-infinite-loop.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/errors/err-infinite-loop.data -------------------------------------------------------------------------------- /test/ubpf/errors/err-invalid-reg-dst.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/errors/err-invalid-reg-dst.data -------------------------------------------------------------------------------- /test/ubpf/errors/err-invalid-reg-src.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/errors/err-invalid-reg-src.data -------------------------------------------------------------------------------- /test/ubpf/errors/err-jmp-lddw.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/errors/err-jmp-lddw.data -------------------------------------------------------------------------------- /test/ubpf/errors/err-jmp-out.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/errors/err-jmp-out.data -------------------------------------------------------------------------------- /test/ubpf/errors/err-mod-by-zero-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/errors/err-mod-by-zero-reg.data -------------------------------------------------------------------------------- /test/ubpf/errors/err-mod64-by-zero-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/errors/err-mod64-by-zero-reg.data -------------------------------------------------------------------------------- /test/ubpf/errors/err-noexit.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/errors/err-noexit.data -------------------------------------------------------------------------------- /test/ubpf/errors/err-stack-oob.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/errors/err-stack-oob.data -------------------------------------------------------------------------------- /test/ubpf/errors/err-too-many-instructions.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/errors/err-too-many-instructions.data -------------------------------------------------------------------------------- /test/ubpf/errors/err-unknown-opcode.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/errors/err-unknown-opcode.data -------------------------------------------------------------------------------- /test/ubpf/errors/err-write-r10.dst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/errors/err-write-r10.dst -------------------------------------------------------------------------------- /test/ubpf/exit.data: -------------------------------------------------------------------------------- 1 | -- asm 2 | mov r0, 0 3 | exit 4 | -- result 5 | 0x0 6 | -------------------------------------------------------------------------------- /test/ubpf/ja.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/ja.data -------------------------------------------------------------------------------- /test/ubpf/jeq-imm.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jeq-imm.data -------------------------------------------------------------------------------- /test/ubpf/jeq-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jeq-reg.data -------------------------------------------------------------------------------- /test/ubpf/jge-imm.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jge-imm.data -------------------------------------------------------------------------------- /test/ubpf/jgt-imm.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jgt-imm.data -------------------------------------------------------------------------------- /test/ubpf/jgt-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jgt-reg.data -------------------------------------------------------------------------------- /test/ubpf/jit-bounce.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jit-bounce.data -------------------------------------------------------------------------------- /test/ubpf/jle-imm.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jle-imm.data -------------------------------------------------------------------------------- /test/ubpf/jle-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jle-reg.data -------------------------------------------------------------------------------- /test/ubpf/jlt-imm.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jlt-imm.data -------------------------------------------------------------------------------- /test/ubpf/jlt-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jlt-reg.data -------------------------------------------------------------------------------- /test/ubpf/jmp.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jmp.data -------------------------------------------------------------------------------- /test/ubpf/jne-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jne-reg.data -------------------------------------------------------------------------------- /test/ubpf/jset-imm.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jset-imm.data -------------------------------------------------------------------------------- /test/ubpf/jset-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jset-reg.data -------------------------------------------------------------------------------- /test/ubpf/jsge-imm.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jsge-imm.data -------------------------------------------------------------------------------- /test/ubpf/jsge-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jsge-reg.data -------------------------------------------------------------------------------- /test/ubpf/jsgt-imm.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jsgt-imm.data -------------------------------------------------------------------------------- /test/ubpf/jsgt-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jsgt-reg.data -------------------------------------------------------------------------------- /test/ubpf/jsle-imm.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jsle-imm.data -------------------------------------------------------------------------------- /test/ubpf/jsle-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jsle-reg.data -------------------------------------------------------------------------------- /test/ubpf/jslt-imm.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jslt-imm.data -------------------------------------------------------------------------------- /test/ubpf/jslt-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/jslt-reg.data -------------------------------------------------------------------------------- /test/ubpf/ldx.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/ldx.data -------------------------------------------------------------------------------- /test/ubpf/ldxb-all.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/ldxb-all.data -------------------------------------------------------------------------------- /test/ubpf/ldxb.data: -------------------------------------------------------------------------------- 1 | -- asm 2 | ldxb r0, [r1+2] 3 | exit 4 | -- mem 5 | aa bb 11 cc dd 6 | -- result 7 | 0x11 8 | -------------------------------------------------------------------------------- /test/ubpf/ldxdw.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/ldxdw.data -------------------------------------------------------------------------------- /test/ubpf/ldxh-same-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/ldxh-same-reg.data -------------------------------------------------------------------------------- /test/ubpf/ldxh.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/ldxh.data -------------------------------------------------------------------------------- /test/ubpf/ldxw.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/ldxw.data -------------------------------------------------------------------------------- /test/ubpf/loop/prime.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/loop/prime.data -------------------------------------------------------------------------------- /test/ubpf/lsh-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/lsh-reg.data -------------------------------------------------------------------------------- /test/ubpf/mod.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/mod.data -------------------------------------------------------------------------------- /test/ubpf/mod32.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/mod32.data -------------------------------------------------------------------------------- /test/ubpf/mod64.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/mod64.data -------------------------------------------------------------------------------- /test/ubpf/mov.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/mov.data -------------------------------------------------------------------------------- /test/ubpf/mul-loop.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/mul-loop.data -------------------------------------------------------------------------------- /test/ubpf/mul32-imm.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/mul32-imm.data -------------------------------------------------------------------------------- /test/ubpf/mul32-reg-overflow.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/mul32-reg-overflow.data -------------------------------------------------------------------------------- /test/ubpf/mul32-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/mul32-reg.data -------------------------------------------------------------------------------- /test/ubpf/mul64-imm.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/mul64-imm.data -------------------------------------------------------------------------------- /test/ubpf/mul64-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/mul64-reg.data -------------------------------------------------------------------------------- /test/ubpf/neg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/neg.data -------------------------------------------------------------------------------- /test/ubpf/neg64.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/neg64.data -------------------------------------------------------------------------------- /test/ubpf/not-supported/lddw.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/not-supported/lddw.data -------------------------------------------------------------------------------- /test/ubpf/not-supported/lddw2.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/not-supported/lddw2.data -------------------------------------------------------------------------------- /test/ubpf/not-supported/stack.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/not-supported/stack.data -------------------------------------------------------------------------------- /test/ubpf/not-supported/stack2.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/not-supported/stack2.data -------------------------------------------------------------------------------- /test/ubpf/not-supported/string-stack.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/not-supported/string-stack.data -------------------------------------------------------------------------------- /test/ubpf/rsh-reg.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/rsh-reg.data -------------------------------------------------------------------------------- /test/ubpf/rsh32.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/rsh32.data -------------------------------------------------------------------------------- /test/ubpf/st.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/st.data -------------------------------------------------------------------------------- /test/ubpf/stb.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/stb.data -------------------------------------------------------------------------------- /test/ubpf/stdw.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/stdw.data -------------------------------------------------------------------------------- /test/ubpf/sth.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/sth.data -------------------------------------------------------------------------------- /test/ubpf/stw.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/stw.data -------------------------------------------------------------------------------- /test/ubpf/stx.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/stx.data -------------------------------------------------------------------------------- /test/ubpf/stxb-all.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/stxb-all.data -------------------------------------------------------------------------------- /test/ubpf/stxb-all2.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/stxb-all2.data -------------------------------------------------------------------------------- /test/ubpf/stxb-chain.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/stxb-chain.data -------------------------------------------------------------------------------- /test/ubpf/stxb.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/stxb.data -------------------------------------------------------------------------------- /test/ubpf/stxdw.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/stxdw.data -------------------------------------------------------------------------------- /test/ubpf/stxh.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/stxh.data -------------------------------------------------------------------------------- /test/ubpf/stxw.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/stxw.data -------------------------------------------------------------------------------- /test/ubpf/subnet.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/subnet.data -------------------------------------------------------------------------------- /test/ubpf/tcp-port-80/match.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/tcp-port-80/match.data -------------------------------------------------------------------------------- /test/ubpf/tcp-port-80/nomatch-ethertype.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/tcp-port-80/nomatch-ethertype.data -------------------------------------------------------------------------------- /test/ubpf/tcp-port-80/nomatch-proto.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/tcp-port-80/nomatch-proto.data -------------------------------------------------------------------------------- /test/ubpf/tcp-port-80/nomatch.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/tcp-port-80/nomatch.data -------------------------------------------------------------------------------- /test/ubpf/tcp-port-80/tcp-port-80.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/tcp-port-80/tcp-port-80.asm -------------------------------------------------------------------------------- /test/ubpf/tcp-sack/.gitignore: -------------------------------------------------------------------------------- 1 | *.o 2 | *.bin 3 | -------------------------------------------------------------------------------- /test/ubpf/tcp-sack/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/tcp-sack/Makefile -------------------------------------------------------------------------------- /test/ubpf/tcp-sack/match.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/tcp-sack/match.data -------------------------------------------------------------------------------- /test/ubpf/tcp-sack/nomatch.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/tcp-sack/nomatch.data -------------------------------------------------------------------------------- /test/ubpf/tcp-sack/pkt-nosack.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/tcp-sack/pkt-nosack.hex -------------------------------------------------------------------------------- /test/ubpf/tcp-sack/pkt-sack.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/tcp-sack/pkt-sack.hex -------------------------------------------------------------------------------- /test/ubpf/tcp-sack/tcp-sack.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/tcp-sack/tcp-sack.asm -------------------------------------------------------------------------------- /test/ubpf/tcp-sack/tcp-sack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/test/ubpf/tcp-sack/tcp-sack.c -------------------------------------------------------------------------------- /toy-ebpf-to-toy-riscv/make-compiler.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/toy-ebpf-to-toy-riscv/make-compiler.rkt -------------------------------------------------------------------------------- /toy-ebpf-to-toy-riscv/stp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/toy-ebpf-to-toy-riscv/stp.rkt -------------------------------------------------------------------------------- /toy-ebpf/interpreter.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/toy-ebpf/interpreter.rkt -------------------------------------------------------------------------------- /toy-ebpf/machine-instance.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/toy-ebpf/machine-instance.rkt -------------------------------------------------------------------------------- /toy-riscv/interpreter.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/toy-riscv/interpreter.rkt -------------------------------------------------------------------------------- /toy-riscv/machine-instance.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uw-unsat/jitsynth/HEAD/toy-riscv/machine-instance.rkt --------------------------------------------------------------------------------