WASM QoL Improvements#1578

Merged

ehennenfent merged 261 commits intomasterfrom dev-wasm

Jan 3, 2020

+314-46

This pull request is big! We're only showing the most recent 250 commits

Commits on Jul 25, 2019

Add some loads and stores
Eric Hennenfent
committed
Add global operations
Eric Hennenfent
committed
Move float methods further down
Eric Hennenfent
committed
Support internal function calls
Eric Hennenfent
committed

Commits on Jul 29, 2019

Improve pickle-friendliness
Eric Hennenfent
committed

Commits on Aug 1, 2019

Convert wasm module instructions into internal type s
Eric Hennenfent
committed
Fix class naming conflict
Eric Hennenfent
committed
Support bitvecs as an integer type
Eric Hennenfent
committed

Commits on Aug 2, 2019

Refactor execution to handle single instructions at a time
Eric Hennenfent
committed
Add Atomic Stacks
Eric Hennenfent
committed
Handle Concretize Exceptions
Eric Hennenfent
committed

Commits on Aug 6, 2019

Propagate symbols all the way to return
Eric Hennenfent
committed

Commits on Aug 12, 2019

Merge branch 'master' into dev-wasm
Eric Hennenfent
committed

Commits on Aug 14, 2019

Add test generation infrastructure
Eric Hennenfent
committed
Attempt to make Travis happy
Eric Hennenfent
committed
Fix missing generation step
Eric Hennenfent
committed

Commits on Aug 15, 2019

Ignore stack exhaustsion and invalid modules
Eric Hennenfent
committed

Commits on Aug 16, 2019

Add basic shift instructions
Eric Hennenfent
committed
Add lots of arithmetic instructions
Eric Hennenfent
committed
Fix global initialization
Eric Hennenfent
committed

Commits on Aug 19, 2019

Add optimization for fixed size left shift
Eric Hennenfent
committed

Commits on Aug 21, 2019

Make Travis tests less verbose
Eric Hennenfent
committed
Blacken
Eric Hennenfent
committed
Properly handle modulo in shifting
Eric Hennenfent
committed
Add several control flow instructions
Eric Hennenfent
committed
Blacken
Eric Hennenfent
committed

Commits on Aug 23, 2019

Partially Fix return instruction
Eric Hennenfent
committed
Fix missing return value from look_forward
Eric Hennenfent
committed
Update look_forward to handle nested blocks
Eric Hennenfent
committed
Fix type sigs and executor copy/paste errors, deduplicate test names
Eric Hennenfent
committed
Fix an instruction exit issue
Eric Hennenfent
committed
Fix local ordering
Eric Hennenfent
committed
Blacken
Eric Hennenfent
committed

Commits on Aug 24, 2019

Commits on Aug 25, 2019

better handling of nans and infinites
haxmeadroom
committed

Commits on Aug 26, 2019

Merge branch 'dev-wasm' of https://github.com/trailofbits/manticore into dev-wasm
Eric Hennenfent
committed
added integer backing value for f64
haxmeadroom
committed
Merge branch 'dev-wasm' of github.com:trailofbits/manticore into dev-wasm
haxmeadroom
committed
Blacken
Eric Hennenfent
committed
Merge branch 'dev-wasm' of https://github.com/trailofbits/manticore into dev-wasm
Eric Hennenfent
committed
Blacken
Eric Hennenfent
committed
f64.nearest
haxmeadroom
committed
Fix argument ordering and implement N-bit memory stores
Eric Hennenfent
committed
Use subtests
Eric Hennenfent
committed
Switch print to logger
Eric Hennenfent
committed
Modify control flow instructions to match spec
Eric Hennenfent
committed

Commits on Aug 27, 2019

Teporarily disable call instructions to prevent infinite loop
Eric Hennenfent
committed
Blacken
Eric Hennenfent
committed

Commits on Aug 28, 2019

Fixed infinite loop in _call via block depth tracking
Eric Hennenfent
committed
Blacken
Eric Hennenfent
committed
Initial br implementation
Eric Hennenfent
committed

Commits on Aug 29, 2019

Support if blocks without an else instruction
Eric Hennenfent
committed
Add call_indirect
Eric Hennenfent
committed
Add grow_memory
Eric Hennenfent
committed
i32_wrap_i64
Eric Hennenfent
committed
Add several arithmetic operators
Eric Hennenfent
committed
Copy i32.ctz impl from x86 TZCNT
Eric Hennenfent
committed
Fix off-by-one in br
Eric Hennenfent
committed
Blacken...
Eric Hennenfent
committed

Commits on Aug 30, 2019

Fix lingering issue with if block splitting
Eric Hennenfent
committed
Fix bad args to sextend in i64_extend_s_i32
Eric Hennenfent
committed
Fix indirect call null check and Float binop return types
Eric Hennenfent
committed
Improve br_table indexing
Eric Hennenfent
committed

Commits on Sep 4, 2019

Remove vestigial argument popping in invoke
Eric Hennenfent
committed

Commits on Sep 5, 2019

Fix looking forward in _return and _block
Eric Hennenfent
committed
Blacken
Eric Hennenfent
committed
Generate trap and action tests
Eric Hennenfent
committed
Fix extraneous call to exec_for_test
Eric Hennenfent
committed
Fix missing traps in load instructions
Eric Hennenfent
committed

Commits on Sep 6, 2019

Fix c1=0 case in ctz/clz
Eric Hennenfent
committed
Handle traps in-stride during test execution
Eric Hennenfent
committed
Treat zero division as trap
Eric Hennenfent
committed
Use ctypes to convert integers
Eric Hennenfent
committed
Blacken
Eric Hennenfent
committed
Apparently I was wrong about the CTZ endianness thing
Eric Hennenfent
committed
Better range checks for offsets
Eric Hennenfent
committed
Make stub functions return the correct number of results
Eric Hennenfent
committed

Commits on Sep 7, 2019

ctypes can't handle floats
Eric Hennenfent
committed
Add option to run the start function
Eric Hennenfent
committed

Commits on Sep 11, 2019

Correctly handle functions with unacceptable names
Eric Hennenfent
committed
Blacken
Eric Hennenfent
committed
Treat NotImplemented as a Skip
Eric Hennenfent
committed
Fix unhandled negative indices
Eric Hennenfent
committed
Fixed some integer instruction bugs
Eric Hennenfent
committed
Fix global and memory imports
Eric Hennenfent
committed

Commits on Sep 13, 2019

CC
Eric Hennenfent
committed

Commits on Sep 18, 2019

Make default loglevel debug
Eric Hennenfent
committed
Rework conversion from int
Eric Hennenfent
committed
Make float_store work
Eric Hennenfent
committed
_actually_ fix float_store
Eric Hennenfent
committed

Commits on Sep 19, 2019

Restore old float creation method
Eric Hennenfent
committed
Blacken
Eric Hennenfent
committed
Add range checks to float load/store
Eric Hennenfent
committed
Force cast to unsigned in _u instructions
Eric Hennenfent
committed
Fix yet another I32 -> I64 copy paste error
Eric Hennenfent
committed

Commits on Sep 20, 2019

Skip problematic float tests for now
Eric Hennenfent
committed
Handle floating point inaccuracies when dividing large ints
Eric Hennenfent
committed
Skip conversion and endianness tests
Eric Hennenfent
committed
Rotl, rotl, popcnt
Eric Hennenfent
committed
Blacken
Eric Hennenfent
committed
Add some conversion stubs
Eric Hennenfent
committed
Maybe fix conversions
Eric Hennenfent
committed
Improve reinterpret and float demotion
Eric Hennenfent
committed
Re-enable endianness tests
Eric Hennenfent
committed

Commits on Sep 23, 2019

Include WASM logging in verbosity controls
Eric Hennenfent
committed
Propagate constraints to executor
Eric Hennenfent
committed
Blacken
Eric Hennenfent
committed
Add prototype symbolic tests
Eric Hennenfent
committed

Commits on Sep 25, 2019

Add api for invocation to Manticore object
Eric Hennenfent
committed
Temporarily disable native/evm tests
Eric Hennenfent
committed
Fix wasmworld import
Eric Hennenfent
committed

Commits on Sep 26, 2019

Concretize br_if
Eric Hennenfent
committed
Pass arg generator to invoke
Eric Hennenfent
committed
Download updated WABT
Eric Hennenfent
committed
Generate Symbolic tests (partial)
Eric Hennenfent
committed

Commits on Sep 27, 2019

Follow m.run format
Eric Hennenfent
committed
Blacken
Eric Hennenfent
committed
Merge branch 'master' into dev-wasm
Eric Hennenfent
committed
Reinitialize Manticore every 50 tests
Eric Hennenfent
committed
Revert "Temporarily disable native/evm tests"
Eric Hennenfent
committed
I32 and I64 pass Symbolic
Eric Hennenfent
committed
Create new MC on reinit
Eric Hennenfent
committed
Blacken
Eric Hennenfent
committed

Commits on Sep 30, 2019

Fix return handling in test generation
Eric Hennenfent
committed
Concretize operand in if_
Eric Hennenfent
committed
Concretize memory addresses before access
Eric Hennenfent
committed
Better memory access concretization (and br_table)
Eric Hennenfent
committed
Concretize float converions and indirect call operands
Eric Hennenfent
committed
Run start method
Eric Hennenfent
committed

Commits on Oct 1, 2019

Handle size errors in wrap+i64 and select
Eric Hennenfent
committed
Add timeout (and skip extra-problematic tests)
Eric Hennenfent
committed
Blacken
Eric Hennenfent
committed
Aggressively concretize floats
Eric Hennenfent
committed

Commits on Oct 2, 2019

Recast ints that should have been floats
Eric Hennenfent
committed
Better trap handling
Eric Hennenfent
committed
Unstash float concretization
Eric Hennenfent
committed
Fix log-lived 'trap' attr
Eric Hennenfent
committed
Blacken
Eric Hennenfent
committed

Commits on Oct 3, 2019

Concretize F32 when promoting to F64
Eric Hennenfent
committed
Merge branch 'master' into dev-wasm
Eric Hennenfent
committed

Commits on Oct 4, 2019

Docstrings for platforms/wasm.py
Eric Hennenfent
committed
Docstrings for ManticoreWASM
Eric Hennenfent
committed
Add docs for the module structure
Eric Hennenfent
committed
Add WASM to RTD
Eric Hennenfent
committed
missing docstring for Module itself
Eric Hennenfent
committed
Fix sphinx errors
Eric Hennenfent
committed
Bump RTD python version
Eric Hennenfent
committed
Reformat docstrings for sphinx
Eric Hennenfent
committed
Pacify RTD by adding newlines before params
Eric Hennenfent
committed
Missed a few
Eric Hennenfent
committed
Document the types
Eric Hennenfent
committed
Document executor
Eric Hennenfent
committed
A few more type docstrings
Eric Hennenfent
committed

Commits on Oct 7, 2019

Partial runtime_structure docs
Eric Hennenfent
committed
Finish documenting runtime structure
Eric Hennenfent
committed
Fix trailing whitespace
Eric Hennenfent
committed
Add collatz conjecture example
Eric Hennenfent
committed
Include undocumented members in RTD
Eric Hennenfent
committed

Commits on Oct 10, 2019

Add a bunch of events
Eric Hennenfent
committed
Appropriately connect event publishers
Eric Hennenfent
committed

Commits on Oct 11, 2019

Generate useful testcases
Eric Hennenfent
committed
Blacken
Eric Hennenfent
committed

Commits on Oct 16, 2019

Attempt at 3.6 backporting
Eric Hennenfent
committed
Optimize AtomicStack
Eric Hennenfent
committed
Sort solve_n output in test_solve_n
Eric Hennenfent
committed
Merge branch 'master' into dev-wasm
Eric Hennenfent
committed

Commits on Oct 17, 2019

Roll back to trusty?
Eric Hennenfent
committed
Create custom trap types
Eric Hennenfent
committed
Lazily evaluate overflows
Eric Hennenfent
committed

Commits on Oct 18, 2019

Blacken
Eric Hennenfent
committed

Commits on Oct 23, 2019

Address Dominik's feedback, remove stale TODOs
Eric Hennenfent
committed
Merge branch 'master' into dev-wasm
Eric Hennenfent
committed
Expand & Test Examples
Eric Hennenfent
committed

Commits on Oct 24, 2019

Fix relative path
Eric Hennenfent
committed
Fix relative path?
Eric Hennenfent
committed
capitalize Path
Eric Hennenfent
committed
Fix relative path for real
Eric Hennenfent
committed
Blacken...
Eric Hennenfent
committed
Test finalize
Eric Hennenfent
committed
Add supplemental tests for coverage
Eric Hennenfent
committed
Use dedicated helper for store access
Eric Hennenfent
committed

Commits on Oct 25, 2019

Handle quoted strings in imported module names
Eric Hennenfent
committed

Commits on Oct 28, 2019

Allow WASMWorld to hold multiple modules
Eric Hennenfent
committed
Actually use export maps
Eric Hennenfent
committed

Commits on Oct 29, 2019

Fix most of the control flow issues with import tests
Eric Hennenfent
committed
Use available cores for test generation
Eric Hennenfent
committed

Commits on Oct 30, 2019

Escape module name
Eric Hennenfent
committed
Don't reinit modules that have already been initialized
Eric Hennenfent
committed
Use addresses for imports instead of copying
Eric Hennenfent
committed

Commits on Oct 31, 2019

Merge branch 'master' into dev-wasm
Eric Hennenfent
committed

Commits on Nov 1, 2019

Fix removed timeout argument
Eric Hennenfent
committed
Interleave registration and aliases
Eric Hennenfent
committed
Fix broken "None" check for address
Eric Hennenfent
committed
Blacken
Eric Hennenfent
committed

Commits on Nov 2, 2019

Make manual exports work with address syntax
Eric Hennenfent
committed
Import all registered modules
Eric Hennenfent
committed

Commits on Nov 4, 2019

Remove stringified annotations
Eric Hennenfent
committed
Fix easy type issues in all but runtime structure
Eric Hennenfent
committed
Fix easy type issues in runtime_structure
Eric Hennenfent
committed
Fix* everything but imports
Eric Hennenfent
committed
Blacken
Eric Hennenfent
committed
Blacken 2
Eric Hennenfent
committed
Typo
Eric Hennenfent
committed
Merge module structure and runtime structure
Eric Hennenfent
committed
Fix instance vs type confusion
Eric Hennenfent
committed

Commits on Nov 5, 2019

Fix mypy and concrete tests
Eric Hennenfent
committed
Still generate symbolic tests though
Eric Hennenfent
committed
Attempt to fix env for symbolic tests
Eric Hennenfent
committed
Blacken/mypy
Eric Hennenfent
committed

Commits on Nov 6, 2019

Fix missing supplemental environment variables arg
Eric Hennenfent
committed
Fix docstrings for new import style
Eric Hennenfent
committed
Merge branch 'master' into dev-wasm
Eric Hennenfent
committed
CC
Eric Hennenfent
committed
Bump timeout duration to 70 minutes
Eric Hennenfent
committed
Fix pycharm type, import, and docstring errors
Eric Hennenfent
committed
Explain type: ignore
Eric Hennenfent
committed
Missed two type:ignore's
Eric Hennenfent
committed

Commits on Nov 7, 2019

Fix CLI so it doesn't throw up on arbitrary modules
Eric Hennenfent
committed

Commits on Dec 3, 2019

Add getters for locals and globals to state
Eric Hennenfent
committed

Commits on Dec 17, 2019

Make host functions take the state instead of the constriant set
Eric Hennenfent
committed
Support __getattr__ style function calling
Eric Hennenfent
committed

Commits on Dec 18, 2019

Implicitly run Manticore when invoked via __getattr__
Eric Hennenfent
committed
Automatically reinitialize before __getattr__ style function calls
Eric Hennenfent
committed
Merge branch 'master' into dev-wasm
Eric Hennenfent
committed
Fix docstring
Eric Hennenfent
committed
Fix mypy?
Eric Hennenfent
committed
Fix test getchar impl
Eric Hennenfent
committed
Add tests for implicit call and main function
Eric Hennenfent
committed

Commits on Dec 19, 2019

Fix wrong memory callback
Eric Hennenfent
committed
Okay fine I'll check the output
Eric Hennenfent
committed
Add missing jinja dep
Eric Hennenfent
committed
Bump spec tests version
Eric Hennenfent
committed
Test multiple implicit calls
Eric Hennenfent
committed
Split symbolic/concrete WASM tests
Eric Hennenfent
committed
Add some missing docstrings
Eric Hennenfent
committed
Hopefully fix wasm test split?
Eric Hennenfent
committed
Properly split symbolic tests
Eric Hennenfent
committed
Fix fallthrough
Eric Hennenfent
committed

Commits on Jan 2, 2020

Add if_check example
Eric Hennenfent
committed
Blacken
Eric Hennenfent
committed
Add WASM Example to README
Eric Hennenfent
committed