Skip to content

Manticore 0.3.2 #1547

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 5 commits into from
Nov 12, 2019
Merged

Manticore 0.3.2 #1547

merged 5 commits into from
Nov 12, 2019

Conversation

ehennenfent
Copy link
Contributor

Preliminary PR for now; will update further as we merge existing PR's

0.3.2 - 2019-11-xx

Thanks to our external contributors!

Ethereum

  • Use higher-level test generation to symbolically execute SHA3 #1526
  • Added plugin for discarding states without changes to storage #1507
  • Fix ADDMOD and MULMOD #1531
  • Warn on missing bytecode #1534
  • Simplifiy PC upon modification #1523

Native

  • Better memory tests (#1506, 1524)
  • Memory IO performance improvements #1509
  • Expose ELF dynamic load addresses #1515
  • Optimize instruction decoding (#1522, #1527)
  • Add partial support for recvfrom syscall #1514
  • Add will_write_memory event to write_bytes #1535
  • Update supported Unicorn version #1536
  • Fix file pointer leak in ELF interpreter #1538
  • Deduplicate socket symbol names #1542
  • Improve environment variable parsing #1545
  • Reduce chance of orphaned did_execute_instruction event #1529

Other

  • Incorporate type checking (mypy) into CI #1544
  • Fixes to smtlib (#1512, #1511)
  • Logging improvements (#1518, #1520)
  • Simplify unsigned division constant folding #1530
  • Improve signed division logic #1540
  • Move to manticore-specific exception types #1537

@ehennenfent ehennenfent merged commit b2f4fbd into master Nov 12, 2019
@ehennenfent ehennenfent deleted the manticore-0.3.2 branch November 12, 2019 02:52
ekilmer added a commit that referenced this pull request Dec 17, 2019
@ekilmer
Merge branch 'master' into native-arb-cf-redirect-detector
e0a3e13 
* master: (33 commits)
  removes travis entirely (#1572)
  Run mypy on manticore directory by default (#1573)
  Fix deprecation warnings related to setting verbosity (#1574)
  Bump version to fix pip install on Python 3.6 (#1571)
  Direct CI badge directly to CI action (#1570)
  switch to github actions (take two) (#1568)
  Add --quick-mode to configure Manticore for fast exploration (#1555)
  pytest-xdist prevents disturbing stdout, revert to travis_wait (#1566)
  Show black diff on travis builds (#1565)
  various changes to resolve test timeout/invalid dep issues (#1563)
  try pytest xdist (#1561)
  switch to pytest (#1560)
  Fixes different problems found by lgtm (#1558)
  reorg some deps a bit, usee env markers for dataclasses (#1559)
  fix some deprecation warnings (#1556)
  Add flag to only generate alive states when finalizing Manticore (#1554)
  Arrayvarname (#1552)
  Fix Z3 version parsing (#1551)
  Update README.md (#1553)
  Manticore 0.3.2 (#1547)
  ...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@ehennenfent