blazefrost / selfie_concolic Goto Github PK

2 Funktionen:

• type_t get_mem_var_type(context, addr)
• type_t get_reg_var_Type(context, addr)

2 Typen:

• Konkret (Wert 0)
• Symbolisch (Wert 1-UINT64T_MAX als ID)

2 Syscall-Changes:

• malloc - Wie mipster
• read - Ähnlich wie Monster
  Impliziert Typing-Changes zu Symbolic

Datenstruktur (Linked List)

• Operation
• Verwendetes Symbolic
• Verwendetes "Immediate"
• Seite des Symbolics des Operators

=================================================================================

• Recording:
  Linked List, die Instruktionen rückwärts aufzeichnet (Most recently executed first)
  Operanden mitaufzeichnen (Annahme: Operanden nicht abhängig von Symbolic Value selbst)
• Generation:
  Linked List vorwärts iterieren und Invers-Operationen anwenden

• Detect loops (JAL with REG_ZERO and negative immediate)
• Limit amount of iterations (CLI argument)