cfc158a213
test: [fix] gracefuly handle cases when SMAP/MPX are disabled in kernel; ref #113
2024-08-07 15:27:12 +01:00
306e2cf8be
model: [fix] tracing was not reset after exceptions
2024-08-07 15:12:15 +01:00
7e8dc49702
tests: [fix] L1TF tests - only test for Tiger Lake+
2024-08-07 11:52:14 +01:00
e4d0a029db
tests: [fix] tests used outdated nop placeholders
2024-08-01 15:10:01 +01:00
03837f1970
exec/x86: [fix] incorrect opcode in set_h2g_target macro
2024-08-01 11:57:42 +01:00
6779eb1274
root: [docs] updated readme
2024-07-29 10:35:37 +01:00
354d7a9de1
test: [refact] rewrite acceptance tests to use config includes
2024-07-27 20:06:54 +01:00
08fe9e1ca6
test: [refact] rewrite pre-release script to use config includes
2024-07-26 17:00:24 +01:00
8e66542b3b
all: [refact] major refactoring of multiple modules
...
(cherry picked from commit 7515fdd647
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
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
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
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
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
Oleksii Oleksenko
Brian Fu