amba/Makefile at master · lokegustafsson/amba · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
.PHONY: build test upload upload-amba upload-s2e get-libamba-symbols demo1 demo2

build:
	nix build -L

test:
	nix run .#test-amba-hello
	nix run .#test-amba-control-flow
	cargo test -r \
		-p amba \
		-p bootstrap \
		-p data-structures \
		-p disassembler \
		-p ipc \
		-p libamba \
		-p mitm-debug-stream \
		-p qmp-client \
		-p recipe

upload: upload-amba upload-s2e upload-libamba

upload-amba: eurydice-private-key
	nix build '.#amba' --accept-flake-config
	doas nix store sign --key-file ./eurydice-private-key --recursive ./result-bin
	nix store verify --trusted-public-keys $$(nix key convert-secret-to-public < ./eurydice-private-key) .
	NIX_SSHOPTS="-p1234" nix copy '.#amba' --to ssh://nix.u3836.se

upload-s2e: eurydice-private-key
	nix build '.#s2e' --accept-flake-config
	doas nix store sign --key-file ./eurydice-private-key --recursive ./result
	nix store verify --trusted-public-keys $$(nix key convert-secret-to-public < ./eurydice-private-key) .
	NIX_SSHOPTS="-p1234" nix copy '.#s2e' --to ssh://nix.u3836.se

upload-libamba: eurydice-private-key
	nix build '.#libamba' --accept-flake-config
	doas nix store sign --key-file ./eurydice-private-key --recursive ./result
	nix store verify --trusted-public-keys $$(nix key convert-secret-to-public < ./eurydice-private-key) .
	NIX_SSHOPTS="-p1234" nix copy '.#libamba' --to ssh://nix.u3836.se

get-libamba-symbols:
	nix build '.#libamba'
	nm -D $$(nix path-info '.#libamba')/lib/libamba.so \
		| rg ' U ([^\s]+)' -or '$$1' \
		| rg -v 'GLIBC|CXXABI|GCC' \
		| c++filt \
		| printf "\nDynamic symbols required by libamba:\n\n$$(cat -)\n"

--demo:
	nix build '.#$(DEMO)'
	nix run . -- run "$$(nix path-info '.#$(DEMO)')""/$(DEMO).recipe.json"

demo-hello: DEMO+=hello
demo-hello: --demo

demo-control-flow: DEMO+=control-flow
demo-control-flow: --demo

demo-state-splitter: DEMO+=state-splitter
demo-state-splitter: --demo

demo-backdoor: DEMO+=backdoor
demo-backdoor: --demo

demo1: DEMO+=demo1
demo1: --demo

demo2: DEMO+=demo2
demo2: --demo

demo-grep: DEMO+=grep
demo-grep: --demo

demo-ugrep: DEMO+=ugrep
demo-ugrep: --demo

compile_flags.txt:
	make -C crates/AmbaPlugin ../../compile_flags.txt