Crashes analysis
Binary analysis
Enhance a core dump with execution trace logged through Intel Processor Tracing; perform reverse execution and symbolic execution against the trace; pinpoint the root cause of software crash.
Analyze stripped binary; Recover pointer construction and jump tables; Rewrite the binary and instrument custom payloads; Reconstruct the Control Flow.
Triage indirect control flows; patch Clang/GCC compiler for oracle work; LLD/link-time cross-TU visibility consumption/refinement; COMDAT/GC/ICF/alias reconciliation; final symbol/VMA mapping.