Q:What's the consistency model in bochspwn by @j00ru & @gynvael : Strict, Local or Relaxed? Definitions used in s2e: https://pdfs.semanticscholar.org/2c21/f9488edfb2586327528bb59461a41363fc42.pdf …
-
-
I believe it's Strict (SC-CE), as Bochspwn only analyzes data gathered from concrete execution of a fully instrumented operating system.
1 reply 0 retweets 3 likes -
that makes sense, thanks for replying. A lot of unexplored potential for bochspwn then!
1 reply 0 retweets 2 likes
Yes, that's for sure!
10:52 AM - 2 Oct 2017
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.