jingle-v0.6.7

Added

• Add pcode-op bound and tweak computed valuation (#212)

Other

• add separate instruction and branch bounds (#210)

jingle_sleigh-v0.5.2

Fixed

• reduce redundant interning#207 (#207)

jingle-v0.6.6

Fixed

• reduce redundant interning#207 (#207)

Other

• remove debug macro from cfg finalize (#209)

jingle-v0.6.5

Added

• implement Translate and Solvable traits for MemoryState and ModeledSpace (#205)

jingle-v0.6.4

Other

• eliminate all cloning in the main CPA loop and generic merge impls (#203)

jingle_sleigh-v0.5.1

Other

• optimize CPA and clean up varnode APIs (#199)

jingle-v0.6.3

Added

• further cpa optimizations (#201)

jingle-v0.6.2

Other

• optimize CPA and clean up varnode APIs (#199)

jingle_sleigh-v0.5.0

Other

• [breaking] explicitly annotate instruction fallthrough with (#195)

jingle-v0.6.1

Other

• fallthrough counting mode to bounded branch analysis (#197)