SYS-OSS/FRET-qemu
4
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

config, renaming, no flush on load

Browse Source
This commit is contained in:
Alwin Berger 2022-01-02 18:44:48 +01:00
parent 1576aa029a
commit 18a87dfe40
3 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cpu.c
View File

@ -58,7 +58,7 @@ static int cpu_common_post_load(void *opaque, int version_id)
* memory we've translated code from. So we must flush all TBs, * memory we've translated code from. So we must flush all TBs,
* which will now be stale. * which will now be stale.
*/ */
tb_flush(cpu); // tb_flush(cpu);
return 0; return 0;
} }

2
myconfigure.sh
View File

@ -2,7 +2,7 @@
cd "$(dirname "$0")" cd "$(dirname "$0")"
mkdir -p build mkdir -p build
cd build cd build
../configure --target-list=arm-linux-user,arm-softmmu,x86_64-linux-user --enable-tcg-interpreter \ ../configure --target-list=arm-linux-user,arm-softmmu,x86_64-linux-user,x86_64-softmmu \
--audio-drv-list= \ --audio-drv-list= \
--disable-blobs \ --disable-blobs \
--disable-bochs \ --disable-bochs \

12
softmmu/main.c
View File

@ -50,12 +50,12 @@ int main(int argc, char **argv)
#include "hw/core/cpu.h" #include "hw/core/cpu.h"
#include "qapi/error.h" #include "qapi/error.h"
void libafl_qemu_main_loop( void ); void libafl_qemu_main_loop( void );
void libafl_qemu_init(int argc, char **argv, char **envp); void libafl_qemu_sys_init(int argc, char **argv, char **envp);
void libafl_qemu_cleanup( void ); void libafl_qemu_cleanup( void );
void libafl_qemu_init(int argc, char **argv, char **envp) { qemu_init(argc, argv, envp); } void libafl_qemu_sys_init(int argc, char **argv, char **envp) { qemu_init(argc, argv, envp); }
void libafl_qemu_cleanup( void ) { qemu_cleanup(); } void libafl_qemu_cleanup( void ) { qemu_cleanup(); }
void libafl_breakpoint_insert( vaddr ); void libafl_qemu_set_breakpoint( vaddr );
void libafl_snapshot_save( const char* ); void libafl_snapshot_save( const char* );
void libafl_snapshot_load( const char* ); void libafl_snapshot_load( const char* );
@ -65,7 +65,7 @@ void libafl_qemu_main_loop( void )
qemu_main_loop(); qemu_main_loop();
} }
void libafl_breakpoint_insert(vaddr pc) void libafl_qemu_set_breakpoint(vaddr pc)
{ {
CPUState *cpu; CPUState *cpu;
CPU_FOREACH(cpu) { CPU_FOREACH(cpu) {
@ -91,8 +91,8 @@ int main(int argc, char **argv, char **envp)
// qemu_init(argc, argv, envp); // qemu_init(argc, argv, envp);
// qemu_main_loop(); // qemu_main_loop();
// qemu_cleanup(); // qemu_cleanup();
libafl_qemu_init(argc, argv, envp); libafl_qemu_sys_init(argc, argv, envp);
libafl_breakpoint_insert(0x00004f5c); libafl_qemu_set_breakpoint(0x00004f5c);
libafl_snapshot_save("Start"); libafl_snapshot_save("Start");
do { do {
libafl_qemu_main_loop(); libafl_qemu_main_loop();