|
|
9ca8e88ec0
|
don't save client logs
|
2026-05-06 20:36:10 +02:00 |
|
|
|
be2c4b7bf2
|
log experiment stages to separate files
|
2026-05-06 20:30:41 +02:00 |
|
|
|
644603fb8b
|
don't move runner log
|
2026-05-06 20:08:39 +02:00 |
|
|
|
0dccd1df46
|
update fail binaries again again
|
2026-05-06 19:52:25 +02:00 |
|
|
|
9db4cb8bb1
|
remove fail binaries
|
2026-05-06 19:39:47 +02:00 |
|
|
|
10fe608a90
|
separate client/server logs + move logs to experiment dir
|
2026-05-04 13:32:34 +02:00 |
|
|
|
2de6e20675
|
update fail binaries again - set static port (--server-port doesn't work)
|
2026-05-04 13:31:18 +02:00 |
|
|
|
bc98e2af5c
|
add updated fail binaries
|
2026-05-04 11:38:05 +02:00 |
|
|
|
3819e84acb
|
remove fail binaries
|
2026-05-04 11:35:42 +02:00 |
|
|
|
6ce8987ebd
|
add --server-port option to generic-experiment-client
|
2026-04-29 21:02:10 +02:00 |
|
|
|
6859402483
|
update FAIL database queries for new version
|
2026-04-29 20:16:24 +02:00 |
|
|
|
32b1f3fa31
|
move old FAIL binaries so nix doesn't autopatchelf them
|
2026-04-29 20:10:02 +02:00 |
|
|
|
a6f33f1960
|
update FAIL version to current
|
2026-04-29 19:58:18 +02:00 |
|
|
|
1bf4886c64
|
choose experiments instead of builds for radare/objdump/wasm-objdump actions
|
2026-04-28 00:53:46 +02:00 |
|
|
|
e33fed9b8d
|
add binaryninja action to menu
|
2026-04-28 00:40:31 +02:00 |
|
|
|
c87409dd5c
|
add radare/objdump/wasm-objdump actions to menu
|
2026-04-28 00:17:51 +02:00 |
|
|
|
5f6537b7ea
|
reenable --catch-outerspace and --catch-write-textsegment
|
2026-04-27 19:09:19 +02:00 |
|
|
|
5bfe1a366b
|
disable --catch-outerspace and --catch-write-textsegment
|
2026-04-27 18:49:51 +02:00 |
|
|
|
f2559c8445
|
disable --catch-write-textsegment
|
2026-04-27 15:57:17 +02:00 |
|
|
|
4d0693dd30
|
disable --catch-outerspace
|
2026-04-27 15:49:18 +02:00 |
|
|
|
bba9ced348
|
add sankey chart
|
2026-04-24 15:27:41 +02:00 |
|
|
|
a8aa0bbb07
|
add matrix multiplication test program
|
2026-04-24 15:27:20 +02:00 |
|
|
|
1257534a64
|
enable --full-trace and --check-bounds
|
2026-04-24 15:27:11 +02:00 |
|
|
|
5aab319424
|
import native symbols in lib.h
lib.h gets included into the host module and the wasm module. For the
host module the attributes will be ignored.
|
2026-04-24 10:45:55 +02:00 |
|
|
|
348aac20ae
|
add lazysql menu action
|
2026-04-24 00:25:06 +02:00 |
|
|
|
5da8fffed0
|
add tableplus to shell environment
|
2026-04-24 00:03:25 +02:00 |
|
|
|
2b554a22ad
|
read entire marker notes file instead of first line
|
2026-04-23 22:44:50 +02:00 |
|
|
|
c76b0b8a8e
|
allow annotating markers in explorer
|
2026-04-23 21:53:07 +02:00 |
|
|
|
5f42323ccb
|
display corresponding section for markers in explorer
|
2026-04-23 18:42:31 +02:00 |
|
|
|
551335bf53
|
store additional files with builds (flake/startup/linkerscript/...)
|
2026-04-23 17:56:46 +02:00 |
|
|
|
7bd3d205c9
|
scatterplot: addresses in hex
|
2026-04-23 17:55:57 +02:00 |
|
|
|
59e36f6a7f
|
update fail-db.png
|
2026-04-22 23:59:53 +02:00 |
|
|
|
693378d059
|
fix fail trace sources import
|
2026-04-22 21:53:52 +02:00 |
|
|
|
1773e1d55a
|
run FullTraceImporter when importing trace + import --sources
|
2026-04-22 21:45:44 +02:00 |
|
|
|
99c32e1ac0
|
add visualfail
|
2026-04-22 21:45:18 +02:00 |
|
|
|
5ff6f6d0d8
|
remove obsolete startup.s modifications
|
2026-04-22 15:41:15 +02:00 |
|
|
|
6c7351b3d1
|
add result comparison menu action
|
2026-04-22 15:40:57 +02:00 |
|
|
|
e36cfdc07d
|
abort assembly/source loading if no marker is selected in explorer
|
2026-04-22 10:22:57 +02:00 |
|
|
|
7067c015bc
|
exclude existing experiments when archiving
|
2026-04-21 23:21:14 +02:00 |
|
|
|
94ec38fa84
|
cleanup old injections/projects
|
2026-04-21 22:37:18 +02:00 |
|
|
|
42817bab52
|
decrease loop iterations in sum sample
|
2026-04-21 22:35:33 +02:00 |
|
|
|
aec774c633
|
link mmap_space + aot array into .text
|
2026-04-21 22:34:36 +02:00 |
|
|
|
41ffcaeb08
|
add obsidian experiment note creation menu action
|
2026-04-21 22:32:17 +02:00 |
|
|
|
41e079b977
|
add resultbrowser menu action
|
2026-04-21 18:39:47 +02:00 |
|
|
|
371b323980
|
add ssh keepalive to perl ssh connection
|
2026-04-21 18:39:27 +02:00 |
|
|
|
d1d6e4de34
|
undo last change
|
2026-04-21 16:34:10 +02:00 |
|
|
|
a7e2c14529
|
don't redirect fail client output to /dev/null
|
2026-04-21 16:21:29 +02:00 |
|
|
|
7bbd30a6f8
|
add ACCESS_OUTERSPACE markertype to explorer filters
|
2026-04-21 16:18:27 +02:00 |
|
|
|
8ea5aed355
|
fix database creation in deploy.pl
|
2026-04-21 14:48:47 +02:00 |
|
|
|
264795bf71
|
don't link mmap region into .text but aot array itself
|
2026-04-21 14:46:31 +02:00 |
|
|
|
ea56079c09
|
replace : with - on experiment archival
|
2026-04-21 14:11:57 +02:00 |
|
|
|
f45ce702d2
|
add abandoned ghidra path remapping script
|
2026-04-21 14:11:24 +02:00 |
|
|
|
545b581659
|
color points based on resulttype in scatterplot
|
2026-04-21 14:10:37 +02:00 |
|
|
|
353f971408
|
remove faulty injections
|
2026-04-21 14:07:58 +02:00 |
|
|
|
77d0cd7814
|
remove faulty ghidra projects
|
2026-04-21 14:07:18 +02:00 |
|
|
|
ed0a3b67de
|
filter markers by default in explorer
|
2026-04-21 12:21:15 +02:00 |
|
|
|
51fb2ef4d4
|
only deploy "fail" targets, only gdb "linux" targets, only import new results into ghidra
|
2026-04-21 01:06:57 +02:00 |
|
|
|
0dbcaf68cd
|
update wasm aot recipe for linux (only use --xip for fail/baremetal)
|
2026-04-21 00:39:00 +02:00 |
|
|
|
19048ed4bf
|
add run in gdb menu action
|
2026-04-20 23:52:06 +02:00 |
|
|
|
495f74ade7
|
ignore db.conf
|
2026-04-20 21:06:14 +02:00 |
|
|
|
6125a3b9fc
|
add barebones results bar chart
|
2026-04-20 21:01:07 +02:00 |
|
|
|
7b31507403
|
add result explorer
|
2026-04-20 20:59:36 +02:00 |
|
|
|
aacc895800
|
update flake to use direnv
|
2026-04-20 11:41:08 +02:00 |
|
|
|
116aa5f303
|
update ghidra projects
|
2026-04-20 00:21:29 +02:00 |
|
|
|
2d9837219c
|
update injections
|
2026-04-20 00:21:18 +02:00 |
|
|
|
fabf7745ee
|
update ghidra marker import script (headless, import all types from all benchs)
|
2026-04-20 00:17:46 +02:00 |
|
|
|
5b316bbd64
|
add curses entry point for scripts (archival, ghidra import, plots, queries, cleanup)
|
2026-04-20 00:16:27 +02:00 |
|
|
|
9c7933e912
|
add query for detected markers
|
2026-04-19 13:21:56 +02:00 |
|
|
|
d925b19135
|
add queries for other fault types
|
2026-04-19 13:19:55 +02:00 |
|
|
|
31d2b422cb
|
move update_db_config to util
|
2026-04-19 13:05:32 +02:00 |
|
|
|
10bffc0fbc
|
run all available queries automatically
|
2026-04-19 12:55:33 +02:00 |
|
|
|
f6989084ff
|
fix query typos
|
2026-04-19 12:46:36 +02:00 |
|
|
|
d345745962
|
use qualified names for module functions
|
2026-04-19 12:45:46 +02:00 |
|
|
|
f729cfbcd2
|
add current script path to @INC
|
2026-04-19 12:42:52 +02:00 |
|
|
|
8a381d71cf
|
add objdump just recipe
|
2026-04-19 12:39:14 +02:00 |
|
|
|
c092295520
|
move queries to modules
|
2026-04-19 12:39:00 +02:00 |
|
|
|
7efa945977
|
move some functions to Util module
|
2026-04-19 12:38:47 +02:00 |
|
|
|
40d40bc57b
|
update targets
|
2026-04-18 19:46:45 +02:00 |
|
|
|
5dd763fd8a
|
pass substitution as function
|
2026-04-18 18:03:05 +02:00 |
|
|
|
4d714a4442
|
substitute tabs with , for csv output
|
2026-04-18 17:49:04 +02:00 |
|
|
|
540596c33d
|
fix injection error handling
|
2026-04-18 17:42:14 +02:00 |
|
|
|
cf319c5a72
|
wait for fail server port
|
2026-04-18 12:10:01 +02:00 |
|
|
|
e7cfc59096
|
add fork logs to inject
|
2026-04-18 11:52:52 +02:00 |
|
|
|
d9e0d8d70d
|
send injection results as ntfy attachements
|
2026-04-18 11:50:06 +02:00 |
|
|
|
b141ba1e38
|
invoke runner without screen + add log file
|
2026-04-18 11:36:47 +02:00 |
|
|
|
959c9a8bee
|
run with all available cpus
|
2026-04-18 11:36:36 +02:00 |
|
|
|
86e3814fb2
|
loop dropdb + support multiple selection
|
2026-04-18 11:36:12 +02:00 |
|
|
|
a287df261c
|
fix runner external commands
|
2026-04-18 10:27:08 +02:00 |
|
|
|
eebb596773
|
update sub import/inject
|
2026-04-17 22:45:10 +02:00 |
|
|
|
d45d367d89
|
update sub trace
|
2026-04-17 22:39:38 +02:00 |
|
|
|
038660c969
|
fix print to filehandle bug
|
2026-04-17 22:33:56 +02:00 |
|
|
|
ca405f953b
|
add success check to file writing
|
2026-04-17 22:27:36 +02:00 |
|
|
|
c3ada55395
|
add newline to db.conf updater
|
2026-04-17 22:21:48 +02:00 |
|
|
|
52e766e1c2
|
fix duplicated filehandle bug
|
2026-04-17 22:18:02 +02:00 |
|
|
|
a10f04c83e
|
fix screen old session termination bug + db.conf rewriting bug
|
2026-04-17 22:13:31 +02:00 |
|
|
|
0d168bf759
|
add wip buildscripts for automated experiment execution
|
2026-04-17 21:58:29 +02:00 |
|
|
|
94f3fc7611
|
update injections + projects (aot readonly test)
|
2026-04-17 15:17:53 +02:00 |
|
|
|
5538e19c82
|
move justfiles to scripts/
|
2026-04-17 15:17:30 +02:00 |
|
|
|
980025e5a1
|
disable --catch-write-textsegment after moving mmap memory region into .text
|
2026-04-17 00:59:04 +02:00 |
|
|
|
18c3f13a71
|
move wamr mmap memory region into .text segment for wamr aot mode
|
2026-04-17 00:25:22 +02:00 |
|
|
|
3563a810a1
|
enable --catch-write-textsegment and --catch-outerspace
|
2026-04-16 22:36:48 +02:00 |
|
|
|
329014aada
|
unify host programs across targets
|
2026-04-16 22:36:36 +02:00 |
|
|
|
e73ab0a788
|
update build recipe: copy wasm-module source to build directory for archival
|
2026-04-16 12:47:06 +02:00 |
|
|
|
bd7f09251e
|
update injections + projects (cored aot/interp)
|
2026-04-16 12:46:42 +02:00 |
|
|
|
187ad521cb
|
update injections + projects (cored c)
|
2026-04-13 23:04:05 +02:00 |
|
|
|
550ce0b079
|
do fail interactions inside wasm module + unify host modules + fix cored module
|
2026-04-13 23:03:54 +02:00 |
|
|
|
fe6c2f5b99
|
update injections + projects (cored interp)
|
2026-04-08 18:32:44 +02:00 |
|
|
|
89db76e555
|
update injections + projects (cored c/aot)
|
2026-04-07 22:13:13 +02:00 |
|
|
|
28a3c37d41
|
update hosts for cored target
WIP: currently the hosts are not generic and don't support different
targets
|
2026-04-07 22:12:57 +02:00 |
|
|
|
39d2e1c51f
|
switch fail markers to function symbols
|
2026-04-01 21:17:01 +02:00 |
|
|
|
353dfae39c
|
add interp ghidra project with -O0
|
2026-03-19 18:59:25 +01:00 |
|
|
|
e3b97ba865
|
add interp injection with -O0
|
2026-03-19 18:59:09 +01:00 |
|
|
|
fc1d3feadb
|
update mars faildir
|
2026-03-19 09:02:53 +01:00 |
|
|
|
63231f8b48
|
update mars faildir
|
2026-03-19 01:17:43 +01:00 |
|
|
|
07830e1976
|
re-add file (lfs issue)
|
2026-03-19 01:14:08 +01:00 |
|
|
|
f170ded33b
|
remove file
|
2026-03-19 01:10:39 +01:00 |
|
|
|
23f1d55feb
|
rename file
|
2026-03-19 01:08:44 +01:00 |
|
|
|
a10dc97616
|
update injections + projects
|
2026-03-19 01:01:01 +01:00 |
|
|
|
d797e9f71c
|
compile with -O0 and -ggdb3
|
2026-03-19 01:00:54 +01:00 |
|
|
|
ea6a009c0d
|
add aot ghidra project
|
2026-03-18 23:13:34 +01:00 |
|
|
|
bc2eefface
|
add c-only ghidra project
|
2026-03-18 23:13:27 +01:00 |
|
|
|
a0ea3a3bbf
|
update .gitignore
|
2026-03-18 23:13:21 +01:00 |
|
|
|
92ac5ec7d8
|
move ghidra script location
|
2026-03-18 23:12:47 +01:00 |
|
|
|
07ac6f6fc3
|
update .gitattributes
|
2026-03-18 23:12:18 +01:00 |
|
|
|
7b47a70448
|
add aot injection
|
2026-03-18 23:11:00 +01:00 |
|
|
|
96082f33aa
|
add c-only injection
|
2026-03-18 23:10:56 +01:00 |
|
|
|
945c1fe0bc
|
update recipes
|
2026-03-18 23:10:41 +01:00 |
|
|
|
5efff7c84e
|
add rough fail db table overview
|
2026-03-18 23:10:38 +01:00 |
|
|
|
83ae53768c
|
update .gitattributes
|
2026-03-18 23:10:33 +01:00 |
|
|
|
c8fb5d537d
|
add gitattributes
|
2026-03-18 20:06:36 +01:00 |
|
|
|
a6a335aaf4
|
move fail binaries
|
2026-03-18 19:54:44 +01:00 |
|
|
|
5d4d84de39
|
add ghidra script to import markers as bookmarks
|
2026-03-17 23:52:33 +01:00 |
|
|
|
8afdee2fd2
|
add recipe to download markers from mars
|
2026-03-17 23:52:22 +01:00 |
|
|
|
0d871c4e56
|
add recipe to export markers to csv
|
2026-03-17 23:09:12 +01:00 |
|
|
|
5e0b71a818
|
update radare2 config
|
2026-03-17 20:43:39 +01:00 |
|
|
|
af70aebcff
|
update radare2 config
|
2026-03-17 20:42:26 +01:00 |
|
|
|
cacd2d8883
|
update radare2 config
|
2026-03-17 20:41:54 +01:00 |
|
|
|
35dec73236
|
update radare2 config
|
2026-03-17 20:40:57 +01:00 |
|
|
|
e23a3d5033
|
disable importing --sources because of libdwarf error on mars
FAIL_IMPORT requires dwarf_init from libdwarf, but provided version only
defines dwarf_init_b?
|
2026-03-13 00:37:28 +01:00 |
|
|
|
b500d56c8e
|
make radare recipe accept an address
|
2026-03-13 00:31:23 +01:00 |
|
|
|
8a0193408f
|
remove obsolete recipe
|
2026-03-13 00:24:57 +01:00 |
|
|
|
129ba0e0b6
|
add a c-only target (no WASM)
|
2026-03-13 00:22:03 +01:00 |
|
|
|
0f847d7d2d
|
split compilation into wasm.just + add targets for interpreted wasm
|
2026-03-12 21:13:06 +01:00 |
|
|
|
28d1db3b79
|
launch fail on non-default port on mars
|
2026-03-12 15:36:09 +01:00 |
|
|
|
c1eb861bfb
|
fix just path in mars.just
|
2026-03-12 15:16:57 +01:00 |
|
|
|
4b8a4ad0f1
|
split justfile into nixos.just + mars.just
|
2026-03-12 15:15:15 +01:00 |
|
|
|
a79219d39e
|
add just static binaries
|
2026-03-12 14:57:48 +01:00 |
|
|
|
593b88c3fd
|
don't stop server in all-in-one
|
2026-03-12 14:52:22 +01:00 |
|
|
|
b1a8fe0c53
|
add all in one recipe
|
2026-03-12 14:26:36 +01:00 |
|
|
|
99608cc645
|
use shebang recipes for conditional dependencies instead of inline templating
|
2026-03-12 14:06:45 +01:00 |
|
|
|
50c6e9adea
|
add linux-posix + linux-baremetal recipes
|
2026-03-12 13:45:33 +01:00 |
|
|
|
66eb0b3814
|
replace compose-file with direct docker command + add dbeaver recipe
|
2026-03-12 10:16:09 +01:00 |
|
|
|
078fdca44b
|
fix incompatible libdwarf version
|
2026-03-12 10:15:30 +01:00 |
|
|
|
744af52f76
|
slightly restructure flake
|
2026-03-12 09:27:07 +01:00 |
|
|
|
43414edd0a
|
add injection targets
|
2026-03-12 01:42:34 +01:00 |
|
|
|
679aeb24d4
|
add build + fail recipes
|
2026-03-12 01:42:25 +01:00 |
|
|
|
facf04df7f
|
add wasi/wamr dependencies
|
2026-03-12 01:41:43 +01:00 |
|
|
|
86baf67fac
|
add binaries
|
2026-03-11 20:22:30 +01:00 |
|
