Skip to content

Releases: BinaryAnalysisPlatform/bil

v0.3

05 Oct 20:11
@ivg ivg
Compare
Choose a tag to compare
  • changes ite semantics (#9)
  • adds some missing rules (#8)
  • fixes memory operations (#7)
  • adds typing context (#5)

v0.2

16 May 15:53
@ivg ivg
06ad225
Compare
Choose a tag to compare
  • modifies the small step operational semantics to enable progression
    Some of the rules were expecting a one step transformation to a value, that let to their stucking.
    This is fixed by providing corresponding step rules. (see #2 for more information)

  • simplifies the environment handling.
    Now let expressions do not update the environment but are expressed via substitution (that corresponds directly to the current implementation in bap)

  • new ~>* rule that is a closure of ~> to make it easy to use reduction on the stmt level
    (also introduced in #2)

  • compatibility with the new version of ott (#1)

  • revamped build system (#1)

Big thanks to @ccasin, for the contribution.

v0.1

02 Oct 21:36
@ivg ivg
Compare
Choose a tag to compare
v0.1 Pre-release
Pre-release

Initial draft