dfcf762c23
conf: [ft] more sensible default for sample sizes
...
(cherry picked from commit 310f0b6a35
2024-07-26 17:00:24 +01:00
6211a13189
fuzz: [feat] add FP check for model-executor mismatches
...
(cherry picked from commit 954fb35ac8
2024-07-26 16:57:00 +01:00
8e66542b3b
all: [refact] major refactoring of multiple modules
...
(cherry picked from commit 7515fdd647
2024-07-25 14:53:24 +01:00
f7035bb4b3
isa/x86: [ft] replace wget with curl for robustness
...
(cherry picked from commit f8dc86bdcb
2024-07-25 14:53:24 +01:00
249970f28d
isa/x86: [fix] confusion between upper and lower cases
...
(cherry picked from commit 9a6a4e08e1
2024-07-25 14:53:24 +01:00
fba32b53d1
exec/x86: [feat] add a state machine to monitor measurement status
...
(cherry picked from commit 126cdeb80c
2024-07-25 14:53:24 +01:00
6a9564c7b9
analyser: [refact] get rid of _build_eq... interface"
...
(cherry picked from commit 6d2c8f6510
2024-07-25 14:53:24 +01:00
870266a263
model: [fix] incorrect tainting of MOVHPS
...
(cherry picked from commit 95cb220f2d
2024-07-25 14:53:24 +01:00
d4b57c31f3
model/x86: [refact] allign debug prints of XMM regs
...
(cherry picked from commit 1539a2b963
2024-07-25 14:53:24 +01:00
b49e2b62e0
model: [chore] more type annotations and docstrings in taint tracker
...
(cherry picked from commit 262f230e74
2024-07-25 14:53:24 +01:00
c86f9b52c5
model: [feat] taint tracker overriddes taints upon MOV and LEA
...
(cherry picked from commit 6b1a26afa6
2024-07-25 14:53:23 +01:00
1b9f49e717
model: [fix] XMM was tainted as 8-byte wide
...
(cherry picked from commit f28c38025e
2024-07-25 14:53:23 +01:00
5e00740c6f
model: [refact] clean up of the taint tracker
...
(cherry picked from commit d6e641bc0c
2024-07-25 14:53:23 +01:00
f217460f82
inter: [chore] move all exceptions into interfaces.py
...
(cherry picked from commit 585b754c8b
2024-07-25 14:53:23 +01:00
083bd3f6fc
test: [feat] enable testing of documentation of config options
...
(cherry picked from commit c8dd70cc9c
2024-07-25 14:53:23 +01:00
7e91779376
conf: [chore] removing several outdated options
...
(cherry picked from commit b0576b8d6a
2024-07-25 14:53:23 +01:00
e4fe8ca557
conf: [doc] updated documentation on the configuration options
...
(cherry picked from commit 7b76156c3f
2024-07-25 14:53:23 +01:00
cd6fecc1d9
cli: [feat] add --save-violations argument
...
(cherry picked from commit 2de48a00fa
2024-07-25 14:53:23 +01:00
e06f136079
cli: [fix] disentangle arguments of fuzz and tfuzz
...
(cherry picked from commit 9900d1de53
2024-07-25 14:53:23 +01:00
3a59a7e60f
cli: [fix] invalid parsing of boolean arguments
...
(cherry picked from commit 1011e6488b
2024-07-25 14:53:23 +01:00
1576a00b9c
cli: [ft] enforce Unicorn 1.0.3 at fuzzer invocation
...
(cherry picked from commit b3954b4a30
2024-07-25 14:53:23 +01:00
084a3b1deb
demo: [fix] update actor data_properties in demo config files; close #103
2024-07-25 14:53:23 +01:00
ed14cfe2dc
exec/x86: [fix] prevent the same value added multiple times to ignore_list
2024-07-25 14:53:23 +01:00
5fd27710a3
exec/x86: [fix] add fences after all macro jumps; ref #83
...
Co-authored-by: Flavien Solt <flsolt@ethz.ch>
2024-07-25 14:53:23 +01:00
4433ee4ad0
exec/x86: [refact] cleaned-up macro loading in executor
...
Rewrite of the macro loader that:
1. Simplifies the interface to the loader
2. Unifies generation of static and dynamic parts of the macros
3. Puts the dynamic macro generators each into its own function
(used to be a single function with a huge switch statement)
2024-07-25 14:53:23 +01:00
a9102cb8c9
input_gen: [fix] graceful handling of zero-length input sequences
2024-07-25 14:53:23 +01:00
e286a4e5f3
gen/x86: [fix] reorder instrumentation passes to avoid conflicts
2024-07-25 14:53:23 +01:00
cb635d7d64
test: [refact] move taint tracker tests into separate file
...
(cherry picked from commit 6598d8d3e3
2024-07-25 14:53:23 +01:00
59e0d659fe
test/x86: [ft] improve reproducibility of V1/V2 acceptance tests
2024-07-25 14:53:23 +01:00
808f6c8d2d
test: [fix] Update GitHub workflow to include unit tests
2024-07-25 14:53:23 +01:00
79e421d419
test: [chore] Remove unused test files and update file paths in test scripts
2024-07-25 14:53:23 +01:00
ff9da5b85a
test: [chore] upgrading Python Lint action to setup-python@v5
2024-07-25 14:53:23 +01:00
9d05b32318
test: [fix] typing errors
2024-07-25 14:53:23 +01:00
7b46d387a5
test: [fix] error installing dependencies
2024-07-25 14:53:23 +01:00
9babcaba94
test: [feat] add github workflow for linting and type checking
2024-07-25 14:53:23 +01:00
c7b03efd01
docs: [feat] add README note about unsafe instructions
2024-07-25 14:53:23 +01:00
ca60f31e70
mini: [docs] add documentation for using minimizer
2024-07-25 14:53:23 +01:00
3dcd0731e4
mini: [refact] complete rewrite of the minimizer into pass-based algorithm
2024-07-25 14:53:23 +01:00
07dba77d54
mini: [feat] add NOP-minimization pass
2024-07-25 14:53:23 +01:00
9b768ad202
mini: [feat] minimizer for input sequences
...
(cherry picked from commit 14039e79ed
2024-07-25 14:53:22 +01:00
e070737168
gen/x86: [refact] making execute PTE bit more uniform
2024-07-25 14:53:22 +01:00
188ecbb754
exec/x86: [refact] reworked TargetDesc check
2024-07-25 14:53:22 +01:00
0ea25fc12b
test/x86: [feat] add AMD SVM acceptance test
2024-07-25 14:53:22 +01:00
b5572ed77f
model/x86: [feat] add modelling of SVM-specific features
2024-07-25 14:53:22 +01:00
356a3e42e1
exec/x86: [feat] add AMD SVM support
2024-07-25 14:53:22 +01:00
11c55a33a1
exec/x86: [feat] add macro set_data_permissions
2024-07-25 14:53:22 +01:00
ec0188585a
exec/x86: [ft] execute uarch flush only once
2024-07-25 14:53:22 +01:00
ebbf9e6ad2
exec/x86: [fix] compilation fail on 52 PA bit machines
...
(cherry picked from commit 909d80d63e
2024-07-25 14:53:22 +01:00
489890f774
fuzz/x86: [fix] Add warning on known buggy instructions; close #74
2024-07-25 14:53:22 +01:00
afc43a4b23
fuzz: [feat] upon violation, store complete inputs and patched config files
...
(cherry picked from commit bd6fcccaed
2024-07-25 14:53:20 +01:00
Oleksii Oleksenko