Oleksii Oleksenko
|
9dfb84e020
|
mini: [feat] ignore all inputs except for the original violation
|
2024-07-25 14:43:29 +01:00 |
|
Oleksii Oleksenko
|
e78b6ef81c
|
mini: [feat] store test case after every stage of minimization
|
2024-07-25 14:43:16 +01:00 |
|
Oleksii Oleksenko
|
35069150eb
|
mini: [feat] add simiplification of constants
|
2024-07-25 14:43:08 +01:00 |
|
Oleksii Oleksenko
|
02160f4137
|
mini: [feat] expand the list of instruction replacements
|
2024-07-25 14:42:57 +01:00 |
|
Oleksii Oleksenko
|
dd2d7edb38
|
gen: [feat] add option to align locks to 8-byte boundary
|
2024-07-25 14:42:50 +01:00 |
|
Oleksii Oleksenko
|
f67af1bf8c
|
input_gen: [feat] loading of multi-actor inputs
|
2024-07-25 14:42:02 +01:00 |
|
Oleksii Oleksenko
|
bf0b04a790
|
fuzz: [feat] add time delay between violation retries
|
2024-07-25 14:41:55 +01:00 |
|
Oleksii Oleksenko
|
db55ddf350
|
analyser: [refact] clean up the base analyser
|
2024-07-25 14:41:51 +01:00 |
|
Oleksii Oleksenko
|
cd2b09f18f
|
asm_parser: [feat] preserve line numbers in Instruction objects
|
2024-07-25 14:41:44 +01:00 |
|
Oleksii Oleksenko
|
8c8e3ea090
|
model/x86: [feat] add SEQ traces to the NonInterference model
|
2024-07-25 14:41:19 +01:00 |
|
Oleksii Oleksenko
|
0952b694c2
|
util: [feat] pretty_htrace prints trace frequencies and clean TSC values
|
2024-07-25 14:41:11 +01:00 |
|
Oleksii Oleksenko
|
d24dfe23f3
|
exec/x86: [fix] make TSC measurement_end re-entrant
|
2024-07-25 14:40:17 +01:00 |
|
Oleksii Oleksenko
|
94a29c9a24
|
exec/x86: [ft] avoid unnecessary page invalidations
|
2024-07-25 14:39:47 +01:00 |
|
Oleksii Oleksenko
|
1401e895e5
|
all/x86: [feat] add support for configuring reserved bits in PT/EPT
|
2024-07-25 14:39:39 +01:00 |
|
Oleksii Oleksenko
|
f3acf9188b
|
gen/x86: [fix] do not add instrumentation before macros
|
2024-07-25 14:39:17 +01:00 |
|
Oleksii Oleksenko
|
946162f166
|
mini: [feat] add an option to minimize in serveral passes
|
2024-07-25 14:39:07 +01:00 |
|
Oleksii Oleksenko
|
d66eefc925
|
fuzz/x86: [ft] observation filter should skip macros
|
2024-07-25 14:38:57 +01:00 |
|
Oleksii Oleksenko
|
cd0805a384
|
exec/x86: [fix] ignore list was constantly increasing
|
2024-07-25 14:38:50 +01:00 |
|
Oleksii Oleksenko
|
ad0abbfd78
|
asm_parser: [fix] instrumentation tag was ignored
|
2024-07-25 14:38:48 +01:00 |
|
Oleksii Oleksenko
|
91b5a1948a
|
gen: [fix] zero-memory random_instructions macros were ignored
|
2024-07-25 14:38:40 +01:00 |
|
Oleksii Oleksenko
|
f10c70ee47
|
exec/x86: [ft] skip re-entrant calls to RELOAD
|
2024-07-25 14:38:23 +01:00 |
|
Oleksii Oleksenko
|
5f36c4db57
|
analyser: [ft] add warning for default MWU configuration
|
2024-07-25 14:38:17 +01:00 |
|
Oleksii Oleksenko
|
95bf0927be
|
generator: [fix] crash when CONF.min_bb_per_function == CONF.max_bb_per_function
|
2024-07-25 14:38:15 +01:00 |
|
Oleksii Oleksenko
|
6148770a75
|
analyser: [feat] implement MergedBitmap, Set, and MWU analysers; remove noise filtering from executor
|
2024-07-25 14:38:03 +01:00 |
|
Oleksii Oleksenko
|
6014bef26e
|
all/x86: [feat] add switch landing macros
|
2024-07-25 14:37:51 +01:00 |
|
Oleksii Oleksenko
|
512307e912
|
exec/x86: [ft] disalbe ENCLS controls for debug builds
|
2024-07-25 14:37:36 +01:00 |
|
Oleksii Oleksenko
|
a133f09148
|
exec/x86/vmx: [refact] rename DEFAULT_*_CTRL to MUST_SET_*_CTRL
|
2024-07-25 14:37:24 +01:00 |
|
Oleksii Oleksenko
|
affaccba46
|
exec/x86: [fix] incorrect error check in run_experiment
|
2024-07-25 14:37:17 +01:00 |
|
Oleksii Oleksenko
|
f008bdf750
|
exec/x86: ensure propagation of errors up to python code
|
2024-07-25 14:37:10 +01:00 |
|
Oleksii Oleksenko
|
7db9eae3ca
|
exec/x86: [fix] crash when attempting to disable prefetchers from a VM
|
2024-07-25 14:37:02 +01:00 |
|
Oleksii Oleksenko
|
c89f1208ea
|
exec/x86: [refact] rename guest_memory.h/c into memory_guest
|
2024-07-25 14:36:54 +01:00 |
|
Oleksii Oleksenko
|
597853c34e
|
exec/x86: [refact] flaten the directory structure
|
2024-07-25 14:36:44 +01:00 |
|
Oleksii Oleksenko
|
e112cc52f5
|
exec/x86: [fix] cross-actor memory corruption due to macro switch_k2u
|
2024-07-25 14:36:36 +01:00 |
|
Oleksii Oleksenko
|
3aa1b8e2f0
|
conf: [fix] incorrect interpretation of analyser_subsets_is_violation
|
2024-07-25 14:36:32 +01:00 |
|
Oleksii Oleksenko
|
6098658e8a
|
fuzz: [fix] graceful handling of priming errors
|
2024-07-25 14:36:30 +01:00 |
|
Oleksii Oleksenko
|
5ae0b6afd2
|
fuzz: [fix] incorrect threshold made priming ineffective
|
2024-07-25 14:36:26 +01:00 |
|
Oleksii Oleksenko
|
b0b6749d63
|
util: [feat] add option to dump raw htraces and filtering results
|
2024-07-25 14:36:18 +01:00 |
|
Oleksii Oleksenko
|
010833b9b6
|
mini: [feat] minimizer for multi-actor inputs
|
2024-07-25 14:36:08 +01:00 |
|
Oleksii Oleksenko
|
996b0be410
|
util: [refact] cleaner printing of htrace sets
|
2024-07-25 14:35:50 +01:00 |
|
Oleksii Oleksenko
|
79d2daf058
|
config: [fix] the default value for executor_outliers_threshold was too high
|
2024-07-25 14:35:48 +01:00 |
|
Oleksii Oleksenko
|
fcd52990c6
|
model: [fix] incorrect ctrace produced by noninterferece contract
|
2024-07-25 14:35:46 +01:00 |
|
Oleksii Oleksenko
|
80f80d3c2d
|
model: [feat] add ActorNonInterference model
|
2024-07-25 14:35:39 +01:00 |
|
Oleksii Oleksenko
|
a1c1d7360d
|
exec/x86: [ft] add recovery of SSBP/prefetcher/MPX state after measurements
|
2024-07-25 14:35:30 +01:00 |
|
Oleksii Oleksenko
|
5449222f0a
|
exec/x86: [ft] more robust implementation of MSR feature control
|
2024-07-25 14:35:20 +01:00 |
|
Oleksii Oleksenko
|
f499294193
|
exec/x86: [fix] patch SSBP on older AMD CPUs
|
2024-07-25 14:35:11 +01:00 |
|
Oleksii Oleksenko
|
df20a36f3f
|
fuzz: [fix] missing initialization of htraces
|
2024-07-25 14:35:07 +01:00 |
|
Oleksii Oleksenko
|
06b08730fe
|
cli: [fix] infile attribute was not properly replaced
|
2024-07-25 14:35:05 +01:00 |
Flavien Solt
|
639e54203a
|
cli: [refact] harmonize -i flag of tfuzz and minimize (#97)
|
2024-07-25 14:34:59 +01:00 |
|
Oleksii Oleksenko
|
2bf50cdc4f
|
analyser: [fix] do not consider measurements with NULL htraces
|
2024-07-25 14:34:54 +01:00 |
|
Oleksii Oleksenko
|
731e91ad04
|
fuzz: [feat] add advanced (set-based) filtering of noisy hardware traces
|
2024-07-25 14:34:46 +01:00 |