Oleksii Oleksenko
|
6af83465b2
|
renaming of two config variables
|
2021-02-23 16:29:05 +01:00 |
|
Oleksii Oleksenko
|
80ba7a4a57
|
src/cli.py: hyperthreading now triggers a warning instead of an error
|
2021-02-22 17:28:16 +01:00 |
|
Oleksii Oleksenko
|
8112422a57
|
README: more missing dependencies
|
2021-02-22 17:25:02 +01:00 |
|
Oleksii Oleksenko
|
06431336c3
|
tests: more stable and faster detection of Spectres
|
2021-02-22 17:08:16 +01:00 |
|
Oleksii Oleksenko
|
18cf62d335
|
evaluation: removed an outdated experiment
|
2021-02-22 17:06:51 +01:00 |
|
Oleksii Oleksenko
|
a165cda71a
|
src/fuzzer:fix: cleaner output
|
2021-02-19 18:38:09 +01:00 |
|
Oleksii Oleksenko
|
7fe9ad5163
|
README: Unicorn was missing from the list of dependencies
|
2021-02-19 18:36:05 +01:00 |
|
Oleksii Oleksenko
|
2a25a135f3
|
Readme: Getting Started
|
2021-02-18 17:30:24 +00:00 |
|
Oleksii Oleksenko
|
db47f7ea88
|
configuration files
|
2021-02-18 16:50:50 +00:00 |
|
Oleksii Oleksenko
|
1a14c5770f
|
post-fork copyrights
|
2021-02-18 17:41:36 +01:00 |
|
Oleksii Oleksenko
|
7681fc014c
|
src/tests: cleanup and more reliable V2 detection
|
2021-02-18 16:36:25 +00:00 |
|
Oleksii Oleksenko
|
7419d1d55b
|
ARCH-SEQ
|
2021-02-18 16:36:14 +00:00 |
|
Oleksii Oleksenko
|
8f856bb02a
|
src: controllable entropy of inputs
|
2021-02-18 16:36:04 +00:00 |
|
Oleksii Oleksenko
|
4fff6fcf1a
|
evaluation/2_detection_speed: stable version
|
2021-02-18 16:35:47 +00:00 |
|
Oleksii Oleksenko
|
3492a9305b
|
evaluation/1_fuzzing_main: stable version
|
2021-02-18 16:35:35 +00:00 |
|
Oleksii Oleksenko
|
e6e23d31cf
|
src/fuzzer:fix: missing check of a return value
|
2021-02-18 16:35:12 +00:00 |
|
Oleksii Oleksenko
|
865f5f53f6
|
src/test: nested speculation
|
2021-02-18 16:34:36 +00:00 |
|
Oleksii Oleksenko
|
75b1ef6c0d
|
src/postprocessor:fix: minimizer removed instrumentation from DIVs
|
2021-02-18 16:34:16 +00:00 |
|
Oleksii Oleksenko
|
e45329d20b
|
src/postprocessor: a functioning minimizer
|
2021-02-18 16:33:10 +00:00 |
|
Oleksii Oleksenko
|
6faa2c6036
|
src/fuzzer:fix: correctly handle long CTraces when reporting a violation
|
2021-02-18 16:31:11 +00:00 |
|
Oleksii Oleksenko
|
6df3db1f32
|
src/tests: check if Model and Executor are initialized correctly
|
2021-02-18 16:30:48 +00:00 |
|
Oleksii Oleksenko
|
6e4ae58914
|
src: moved register initialization from Generator into Executor/Model
|
2021-02-18 16:30:28 +00:00 |
|
Oleksii Oleksenko
|
d3a2447e8e
|
src/executor: added x86 executor as a submodule
|
2021-02-18 16:29:34 +00:00 |
|
Oleksii Oleksenko
|
e3013ab405
|
src/executor:fix: typo
|
2021-02-18 16:23:00 +00:00 |
|
Oleksii Oleksenko
|
b6c103c059
|
src/fuzzer:fix: priming was ineffective for small numbers of inputs
|
2021-02-18 16:22:34 +00:00 |
|
Oleksii Oleksenko
|
28ad3d802c
|
eval: added a contract definition of CT-BPAS
|
2021-02-18 16:22:00 +00:00 |
|
Oleksii Oleksenko
|
8f17ba8ea2
|
refactoring: cb -> cond; sbp -> bpas
|
2021-02-18 16:21:15 +00:00 |
|
Oleksii Oleksenko
|
f9314a4ca0
|
src/model: include potential rollbacks into the tracing interface
|
2021-02-18 16:20:57 +00:00 |
|
Oleksii Oleksenko
|
d5bb602385
|
src/executor: configuration of patches and flushing
|
2021-02-18 16:18:45 +00:00 |
|
Oleksii Oleksenko
|
7f1ab333fb
|
the MS code of conduct does not apply here
|
2021-02-18 16:15:38 +00:00 |
|
Oleksii Oleksenko
|
d451aba135
|
credits
|
2021-02-18 16:02:15 +00:00 |
|
Oleksii Oleksenko
|
f4a0e4d7e9
|
fresh start with a new README
|
2021-02-18 16:00:06 +00:00 |
Boris Koepf
|
b9bb7fa7f4
|
Changes to Readme
|
2021-02-17 09:33:40 +00:00 |
|
Boris Koepf
|
d3d2c754d9
|
Prototype implementation by Oleksii Oleksenko of Model-based Relational Fuzzing for Speculation Contracts
|
2021-02-15 22:26:33 +00:00 |
Microsoft Open Source
|
5bb9ec9522
|
Initial LICENSE commit
|
2021-01-29 09:14:06 -08:00 |
|
Microsoft Open Source
|
e90aebadda
|
Initial SECURITY.md commit
|
2021-01-29 09:14:04 -08:00 |
|
Microsoft Open Source
|
9cbac4559c
|
Initial SUPPORT.md commit
|
2021-01-29 09:14:02 -08:00 |
|
Microsoft Open Source
|
248dbcbd38
|
Initial README.md commit
|
2021-01-29 09:14:01 -08:00 |
|
Microsoft Open Source
|
205804b0b1
|
Initial CODE_OF_CONDUCT.md commit
|
2021-01-29 09:13:59 -08:00 |