dewolf icon indicating copy to clipboard operation
dewolf copied to clipboard

Published 20 hours ago • verified publisher icon fkie-cad

[Types] Implement type confidence

Open 0x6e62 opened this issue 3 years ago • 0 comments

Proposal

Implement a confidence value for types similar to the implementations in IDA, binaryninja and Ghidra. This would allow to resolve conflicts of contradictory type information during type propagation and in the coherence stage.

Approach

  • [ ] Implement a confidence field
  • [ ] Lift confidence values from binaryninja
  • [ ] Utilize confidence in the Coherence stage
  • [ ] Utilize confidence in the TypePropagation stage

0x6e62 avatar Jan 12 '22 12:01 0x6e62