Comments (4)
The current test infrastructure doesn't check memory operands. This is a pretty glaring omission. I think the longer-term solution here is to implement a fuzz-tester.
(I've marked this as low priority since STOKE essentially IS a fuzz tester that's been running for about a year now.)
from x64asm.
Well... I did it...
The results are... not as great as I expected... Guess that's what happens when you actually implement testing for real.
from x64asm.
If it makes you feel better, the fuzz testing on the validator tests the
sandbox and x64asm pretty hard too. But I've yet to encounter a single
sandbox/x64asm bug. You could even say that we've formally validated
the sandbox/assembler on some select inputs...
On 12/03/2014 12:53 AM, eric schkufza wrote:
Well... I did it...
The results are... not as great as I expected... Guess that's what happens when you actually implement testing for real.
Reply to this email directly or view it on GitHub:
#20 (comment)
from x64asm.
Yeah. I was thinking about that after I wrote this last night.
The errors that appear are superficial, I think. They have to do with
producing hex that's different from g++, but not necessarily incorrect.
Whatever results we're getting out of fuzz testing the validator are much
more confidence inspiring.
On Wed, Dec 3, 2014 at 1:37 AM, Berkeley Churchill <[email protected]
wrote:
If it makes you feel better, the fuzz testing on the validator tests the
sandbox and x64asm pretty hard too. But I've yet to encounter a single
sandbox/x64asm bug. You could even say that we've formally validated
the sandbox/assembler on some select inputs...On 12/03/2014 12:53 AM, eric schkufza wrote:
Well... I did it...
The results are... not as great as I expected... Guess that's what
happens when you actually implement testing for real.
Reply to this email directly or view it on GitHub:
#20 (comment)—
Reply to this email directly or view it on GitHub
#20 (comment).
from x64asm.
Related Issues (20)
- must_read_memory() triggers assertion in debug mode
- need more xor opcodes in is_xor_reg_reg()
- regression in #223
- add code to debug linker
- create non-templated parent class for all memory operands
- Examples need updates? HOT 1
- push/pop not assembled correctly
- HLE/RTM instructions need to be marked as invalid HOT 5
- Support for g++ 5.3
- bsf spreadsheet bug HOT 1
- Parser parses all memory dereferences as 8-bit HOT 4
- Latency table wrong/out-of-date HOT 1
- should use CXX and CC variables in makefile to pick compiler
- Better script to change cpu governor
- Assembler segfaults because it doesn't reserve enough memory HOT 3
- Alternate instruction encodings are not supported HOT 1
- Large number of bugs in the pretty-printer, parser, spreadsheet and other components. HOT 11
- Need way to get function buffer from assembler HOT 1
- thread safety
- Mem::operator< broken HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from x64asm.