Björn Döbel
aec5798f32
remove accidental checkin
...
Change-Id: I3cc42e153070b78bcea7df08ef2eddd1c838776c
2013-09-12 20:31:26 +02:00
Björn Döbel
014684ae1c
L4Sys: check Bochs AS ID for mem accesses, too
...
Change-Id: Ifa2b38dc0e762ff4f956dc0b98c78b43f0d139cb
2013-09-12 20:29:08 +02:00
Björn Döbel
37eda90971
L4Sys campaign: GPRFLIP and MEM injections
...
Change-Id: I0c4a6bf6b80d6620c035595c11663121f504f4d5
2013-09-11 18:02:03 +02:00
Björn Döbel
b7d03f64d4
docs
...
Change-Id: Ic46dfc6c59c7bee796c2e3e8e97376859391b342
2013-09-11 18:02:03 +02:00
Björn Döbel
560860cb99
L4Sys: consult instruction list for breakpoints
...
Change-Id: Ic8163cc84bad9b0074a9d6489127d0ef09eb3c21
2013-09-11 18:02:03 +02:00
Björn Döbel
1a09d30127
L4Sys: prepare script supports mem/reg experiments
...
Change-Id: Ibcbc9e99b063d4b019b4d68401c77fc964253da8
2013-09-11 18:02:03 +02:00
Björn Döbel
8caa63397a
L4Sys: refactoring
...
* more more stuff into functions
* try to have generic experiment code only once
Change-Id: I4f037bd972243665a10941fcc3607f015b0bb1f9
2013-09-11 18:02:02 +02:00
Björn Döbel
0b2ab41c2f
first working mem experiment
...
Change-Id: I928ee0c38f12f6dfe3f661ee60cccad11f35ad6a
2013-09-11 18:02:02 +02:00
Björn Döbel
20a9904032
start memory experiment
...
Change-Id: Ice7921a02f899c7381d15ead10b27e21df7019fb
2013-09-11 18:02:02 +02:00
Björn Döbel
32efc604e7
use MEM FI type
...
Change-Id: If149c4fdeaaf6fef96a99d6fe2a424d8ad0f2916
2013-09-11 18:02:02 +02:00
Björn Döbel
60bf0bae69
L4Sys: uhoh -> build fix
...
Change-Id: I9b3f9bdc961d03e49965230f9a5222d4103c94c5
2013-09-10 11:58:23 +02:00
Björn Döbel
bbe97f2d1b
Merge branch 'master' of ssh://vamos.informatik.uni-erlangen.de:29418/fail
2013-09-10 11:54:29 +02:00
Björn Döbel
0c0f19fbcb
L4Sys: also trace memory accesses
...
Change-Id: I20d8fea1f0f6cfee42804296515e50fdabf12f81
2013-09-10 11:54:05 +02:00
Björn Döbel
2a06b97480
Adjust instruction tracing
...
write a trace file that can be input to the *-trace FAIL tools
Change-Id: Iaa13fab5bcba86f3d940831d9ea583a458998191
2013-08-28 10:16:13 +02:00
Björn Döbel
6ddc7d911b
the do-them-all campaign
...
Change-Id: I9c1617c4a057db63e2f2c6470b55d9629bd01ca2
2013-08-28 10:15:39 +02:00
Björn Döbel
674af5fd00
Separate boundaries for output tracing and injection
...
* L4SYS_FUNC_{ENTRY,EXIT} now determines the range upon
which an experiment is run. These instructions produce the
output that is relevant for the experiment.
* L4SYS_FILTER_{ENTRY,EXIT} determine a subset of the
above instructions. FI experiments are performed on this
subset (between first occurrence of FILTER_ENTRY and first
occurrence of FILTER_EXIT inclusively).
Change-Id: I37d2189d8256b6b707a0a33984f2b2656071d983
2013-08-27 20:34:57 +02:00
Björn Döbel
10420938d2
Rework instruction filtering
...
Add a new instruction filter that allows filtering a list of
ranges read from a file. This allows us to specify multiple
ranges, e.g., to leave out instructions or to focus on multiple
functions
Change-Id: Iba13cda00d0a73edaef270b3cd9100afe3e4668b
2013-08-27 11:26:27 +02:00
Björn Döbel
1fefef06b0
warning fix
...
InstructionFilter needs virtual destructor (Effective C++, Item 14)
Change-Id: I52422c3e8ec1c40c93cb83a0591910837efb00b5
2013-08-27 10:06:33 +02:00
Björn Döbel
da7f9caf64
L4-sys refactoring
...
move preparation steps into separate functions
Change-Id: I4930ec38f003302596f215a08cd8bf455f525571
2013-08-27 10:02:38 +02:00
Björn Döbel