Skip to content
Snippets Groups Projects
Commit 5258ea42 authored by Anh Nguyen-Tuong's avatar Anh Nguyen-Tuong
Browse files

Respect red zone when inserting fork server code

parent 31cc37e1
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
afl_transforms/tools/zafl/zafl.cpp
+ 3
− 2
View file @ 5258ea42
......@@ -444,7 +444,8 @@ void Zafl_t::insertForkServer(Instruction_t* p_entry)
// insert the instrumentation
auto tmp=p_entry;
(void)insertAssemblyBefore(getFileIR(),tmp," push rdi") ;
(void)insertAssemblyBefore(getFileIR(), tmp, "lea rsp, [rsp-128]");
tmp= insertAssemblyAfter(getFileIR(),tmp," push rdi") ;
tmp= insertAssemblyAfter(getFileIR(), tmp," push rsi ") ;
tmp= insertAssemblyAfter(getFileIR(), tmp," push rbp") ;
tmp= insertAssemblyAfter(getFileIR(), tmp," push rdx") ;
......@@ -476,7 +477,7 @@ void Zafl_t::insertForkServer(Instruction_t* p_entry)
tmp= insertAssemblyAfter(getFileIR(), tmp," pop rdx");
tmp= insertAssemblyAfter(getFileIR(), tmp," pop rbp");
tmp= insertAssemblyAfter(getFileIR(), tmp," pop rsi");
tmp= insertAssemblyAfter(getFileIR(), tmp," pop rdi");
tmp= insertAssemblyAfter(getFileIR(), tmp," lea rsp, [rsp+128]");
}
void Zafl_t::insertForkServer(string p_forkServerEntry)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment