Skip to content

Releases: trailofbits/multiplier

Release list

3d07cd5

3d07cd5 Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 06 May 16:05
Immutable release. Only release title and notes can be modified.
3d07cd5
3d07cd5
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • Symex: fork isolation, concrete-detection hardening, bulk-memory hook surface, explore_next by @pgoodman in #590

Full Changelog: d7743f9...3d07cd5

Contributors

pgoodman
Assets 4
Loading

d7743f9

d7743f9

Choose a tag to compare

View all tags
@github-actions github-actions released this 05 May 15:14
Immutable release. Only release title and notes can be modified.
d7743f9
d7743f9
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • Symex: typed step-result wire; suspend on unresolved globals; drop kind tags by @pgoodman in #589

Full Changelog: 6d3100a...d7743f9

Contributors

pgoodman
Loading

81a86a0

81a86a0

Choose a tag to compare

View all tags
@github-actions github-actions released this 01 May 15:26
Immutable release. Only release title and notes can be modified.
81a86a0
81a86a0
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • Symex hardening: z3 simplify pipeline, IRGen parent_function, NULL guards by @pgoodman in #587

Full Changelog: 3adf81d...81a86a0

Contributors

pgoodman
Loading

6d3100a

6d3100a

Choose a tag to compare

View all tags
@github-actions github-actions released this 01 May 20:57
Immutable release. Only release title and notes can be modified.
6d3100a
6d3100a
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • IRGen: fix EnumConstantDecl miscompile + verifier; symex: structural Concat fold for byte shadows by @pgoodman in #588

Full Changelog: 81a86a0...6d3100a

Contributors

pgoodman
Loading

3adf81d

3adf81d

Choose a tag to compare

View all tags
@github-actions github-actions released this 29 Apr 15:43
Immutable release. Only release title and notes can be modified.
3adf81d
3adf81d
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • Add symbolic execution engine (Phases 0-14) with IR binding fixes by @pgoodman in #585

Full Changelog: a784e63...3adf81d

Contributors

pgoodman
Loading

a784e63

a784e63

Choose a tag to compare

View all tags
@github-actions github-actions released this 20 Apr 16:57
Immutable release. Only release title and notes can be modified.
a784e63
a784e63
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • Add configurable argument filter for mx-index by @pgoodman in #584

Full Changelog: 9970c91...a784e63

Contributors

pgoodman
Loading

9970c91

9970c91

Choose a tag to compare

View all tags
@github-actions github-actions released this 17 Apr 15:51
Immutable release. Only release title and notes can be modified.
9970c91
9970c91
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • Refactor interpreter to policy-based library by @pgoodman in #583

Full Changelog: 6ed2e1e...9970c91

Contributors

pgoodman
Loading

6ed2e1e

6ed2e1e

Choose a tag to compare

View all tags
@github-actions github-actions released this 15 Apr 17:58
Immutable release. Only release title and notes can be modified.
6ed2e1e
6ed2e1e
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

Full Changelog: c620dcc...6ed2e1e

Contributors

pgoodman
Loading

c620dcc

c620dcc

Choose a tag to compare

View all tags
@github-actions github-actions released this 14 Apr 13:21
Immutable release. Only release title and notes can be modified.
c620dcc
c620dcc
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • Add statement-level IR with codegen, interpreter, and test suite by @pgoodman in #581

Full Changelog: d5fd686...c620dcc

Contributors

pgoodman
Loading

d5fd686

d5fd686

Choose a tag to compare

View all tags
@github-actions github-actions released this 03 Mar 03:21
d5fd686
d5fd686
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

Full Changelog: 585dbf6...d5fd686

Contributors

pgoodman
Loading