Bjoern Doebel
3db5d034a2
InstructionFilter: make unused EIP a default 0 parameter
...
Change-Id: I972be71af70934eef98bc67b27e32a98ecb8be3b
2013-11-06 17:37:20 +01:00
Bjoern Doebel
a5866a68a2
add l4-sys ignore file
...
Change-Id: Iea2228d8bafc2a3ecb4b6e26e2552813821a3d0b
2013-11-06 17:37:19 +01:00
Bjoern Doebel
71170145e0
Adapt l4-sys experiment to importer fix
...
no need to decrement instruction offset before setting bp anymore
Change-Id: I7f9c02349663899fa8f496a46bcb357bd567ac5c
2013-11-06 17:37:19 +01:00
Bjoern Doebel
63610d0652
L4sys: build fix
...
experiment.hpp is parsed before l4sys.ph.h is generated
-> remove dependency
Change-Id: I128108e562877caca732ad43fdb65b12e56951f8
2013-11-06 17:37:19 +01:00
Bjoern Doebel
d97e3dfa8f
revert out-of-l4sys change
...
Change-Id: I86b27aae6fa30992b485af79e767ec23949d1e62
2013-10-21 15:38:15 +02:00
Bjoern Doebel
a65c64791e
L4Sys experiment: add CR3 detection to prep run
...
Change-Id: Iebbc0309695ee6a7bb8c68fd6ffa24b73ffd7ee5
2013-10-21 15:28:07 +02:00
Bjoern Doebel
77b2e208d0
L4Sys Experiment: more on address space tracing
...
* introduce L4SYS_ADDRESS_SPACE_TRACE to indicate that we want
to trace instructions in a different AS from the one we are starting
the experiment in
* add CR3Run() to determine address space ID
Change-Id: I7bdaf1e858a6dd369af5175bd56e1b4e2d5f05ef
2013-10-21 15:28:07 +02:00
Bjoern Doebel
523f4a465b
add injection address to results
...
Change-Id: I7966f97b8c09bbd6510ca6066dd40be398b54de3
2013-10-21 15:28:07 +02:00
Bjoern Doebel
6274ddb15f
Merge branch 'master' of ssh://vamos.informatik.uni-erlangen.de:29418/fail
2013-09-12 18:20:29 +02:00
Bjoern Doebel
ff19bec52d
L4Sys: some bug fixes
...
* Fowler's Law of Refactoring: Have test cases available.
* BjoernD's Corollary to Fowler's Law: Use these tests!
Change-Id: I3d3e48ffe08209891c6204655323cd26a0eaaebd
2013-09-12 18:19:04 +02:00
Bjoern Doebel
1ca9cb4a52
L4Sys: adapt to DatabaseCampaign
...
Change-Id: Ia4912e7a74afccb51f6d704830a2d9c5b5c0159a
2013-08-30 16:06:15 +02:00
Bjoern Doebel
045c08faf6
l4sys script: remove dbg option
...
Change-Id: Ica13735ba04b7ae79fde6fb1462ca8200694b278
2013-08-30 16:05:21 +02:00
Bjoern Doebel
ed772429f9
L4Sys: fix use of L4SYS_NUMINSTR
...
* L4SYS_NUMINSTR counts the instructions that were selected for
injection and is used by the campaign server to generate experiments
* L4SYS_TOTINSTR counts the total number of instructions executed.
It is used by the experiment to determine the timeout value.
Change-Id: Ibf37aea2a1f5ad5afad2b1232ce22fe070b08490
2013-08-09 14:59:45 +02:00
Bjoern Doebel
2c35ac6235
RangeFilter: make boundaries inclusive
...
Change-Id: Iecf7de565053bcd99a19a02722adcef458f5550b
2013-08-09 14:57:20 +02:00
Bjoern Doebel
5364cfefaa
typo...
...
Change-Id: Ic23a74c429b5b441a85d9e3933f2f9829bc679f9
2013-08-08 17:01:05 +02:00
Bjoern Doebel
f8e31445ce
L4Sys: add a script to automate experiment setup
...
Change-Id: I1f5770bbbc75a6498182e8b357756c48cc81dfa2
2013-08-08 16:57:11 +02:00
Bjoern Doebel
36afe76d33
Add protected white space
...
Change-Id: I49d393fc53ca22822c7f0d7f044d4383f7207e90
2013-08-08 13:48:34 +02:00
Bjoern Doebel
b8d41f73fc
Adjust L4Sys Manual
...
- some more details on the requires experiment steps
- wording and layout fixes
Change-Id: I62b7b1cd5e2d5e746a8e8184349e465afcd2e7ff
2013-08-08 13:45:46 +02:00
Bjoern Doebel
8724ff7cb4
Extend L4-Sys manual
...
* mention how to obtain an L4Re setup
* describe finding the address space identifier in more detail
Change-Id: If56bfa255d498106920f39a7380b97306a8731c8
2013-08-07 16:04:17 +02:00
Bjoern Doebel
31f4117e4b
Fiasco.OC bochsrc example
...
Add an example bochsrc to run Fiasco.OC.
2013-02-23 03:57:34 +01:00
Bjoern Doebel