| Still cannot know why it does not work |
|
More...
|
almost 12 years ago
|
| Note that REP instructions are also branches. |
|
More...
|
almost 12 years ago
|
| instrumen WSA functions |
|
More...
|
almost 12 years ago
|
| instrument socket functions |
|
More...
|
almost 12 years ago
|
| instrument recv and recvfrom (what about WSA ??) |
|
More...
|
almost 12 years ago
|
| instrument winsock functions |
|
More...
|
almost 12 years ago
|
| Windows version |
|
More...
|
almost 12 years ago
|
| Find ideal checkpoints |
|
More...
|
almost 12 years ago
|
| Find ideal checkpoints |
|
More...
|
almost 12 years ago
|
| implement determine_jumping_bridges |
|
More...
|
almost 12 years ago
|
| bridges detection |
|
More...
|
almost 12 years ago
|
| using bridges (more flexible for fast_execution) |
|
More...
|
almost 12 years ago
|
| move_forward explanation |
|
More...
|
almost 12 years ago
|
| move_forward explanation |
|
More...
|
almost 12 years ago
|
| move_forward explanation |
|
More...
|
almost 12 years ago
|
| maybe move_forward is a dual of move_backward |
|
More...
|
almost 12 years ago
|
| the combined (move + modify/restore) functions are not necessary |
|
More...
|
almost 12 years ago
|
| using debug_enabled flag to separate debugged running and normal running. |
|
More...
|
almost 12 years ago
|
| set_first_focused_cbranch_execorder semantics |
|
More...
|
almost 12 years ago
|
| minor modification |
|
More...
|
almost 12 years ago
|
| minor modification |
|
More...
|
almost 12 years ago
|
| minor modification |
|
More...
|
almost 12 years ago
|
| Using functional approach for cbranch_instruction_callback semantics. |
|
More...
|
almost 12 years ago
|
| focused_oldtaken_branch_handler semantics |
|
More...
|
almost 12 years ago
|
| modify indirectBrOrCall_instruction_callback semantics. |
|
More...
|
almost 12 years ago
|
| focused_oldtaken_branch_handler semantics |
|
More...
|
almost 12 years ago
|
| focused_oldtaken_branch_handler semantics |
|
More...
|
almost 12 years ago
|
| focused_newtaken_branch_handler semantics |
|
More...
|
almost 12 years ago
|
| unfocused_newtaken_branch_handler semantics. |
|
More...
|
almost 12 years ago
|
| save_current_input: the branch uses this function to save the current input |
|
More...
|
almost 12 years ago
|