Mailing List Archives

Authenticated access

 		[Computer Systems Lab]

[← Prev]  [Date]  [Next →] [← Prev]  [Thread]  [Next →]

Re: [DynInst_API:] Dyninst for dynamic analysis

Date: Fri, 15 Jan 2016 22:17:20 +0000
From: Jonas Wagner <jonas.wagner@xxxxxxx>
Subject: Re: [DynInst_API:] Dyninst for dynamic analysis
Hi Sergey,

Dealing with Java, I have modified Avian virtual machine to extract path conditions trace for Java during bytecode interpretation.

You could also try to run the VM inside S2E. This would reduce the need to write an entire symbolic execution engine.

Cheers,
JonasÂ
[← Prev in Thread] Current Thread [Next in Thread→]
Previous by Date:  Re: [DynInst_API:] StackMod, Marc Brünink
Next by Date:  Re: [DynInst_API:] Dyninst for dynamic analysis, svartanov
Previous by Thread:  Re: [DynInst_API:] Dyninst for dynamic analysis, svartanov
Next by Thread:  Re: [DynInst_API:] Dyninst for dynamic analysis, svartanov
Indexes:  [Date] [Thread]