Login
Discover
Waves
Decks
Plus
Login
Signup
fuzz-ai
@fuzz-ai
52
An early-stage startup building software correctness tools.
Followers
19
Following
12
Resource Credits
Available
Used
Website
http://www.fuzz.ai/
Created
December 2, 2018
RSS Feed
Subscribe
Posts
Blog
Posts
Comments
Communities
Wallet
fuzz-ai
steem
2019-02-18 22:22
The JSON-parsing vulnerability fixed by Steemd 0.20.9
In my previous bug report on steemd, @crokkon asked if custom JSON was also vulnerable which inspired me to take a closer look. The JSON parsing code in the FC library used by Steem did have a check for
$ 0.077
8
1
fuzz-ai
programming
2019-02-18 02:37
Reproducing a Memory-Tracking Bug with TLA+
I was interested in a first project for getting familiar with TLA+, “a high-level language for modelling programs and systems.” TLA+ has been used to find errors in the design of real-world distributed
$ 0.000
3
fuzz-ai
ontology
2019-01-08 05:59
Fuzz-testing Ontology's NeoVM Execution Engine
Two smart contract fragments were identified that cause panics in the NeoVM implementation in the Ontology blockchain code. Introduction Ontology is a “distributed trust collaboration platform”, a blockchain
$ 0.112
22
1
fuzz-ai
software
2019-01-02 22:09
Improving Ripple Unit Test Coverage with Fuzzing
Even quality code with good test coverage can benefit from fuzz testing! The Ripple blockchain server (rippled) did not exhibit any security holes in its JSON implementation, or any invariant violations
$ 0.080
13
fuzz-ai
software
2018-12-21 06:14
Fuzz-Testing the Snappy Compression Algorithm
Using American Fuzzy Lop on the Snappy compression library found no new bugs, and reported only high memory usage related to preallocation of an output buffer. Users of Snappy should be aware of this
$ 0.330
21
5
fuzz-ai
utopian-io
2018-12-19 02:21
Steemd 0.20.6 bug - memory exhaustion when parsing malicious hello_message
Project Information Repository: Project Name: Steem Expected behavior The Steemd process should handle malformed messages arriving from a peer by logging and error and/or terminating the connection. Actual
$ 24.798
39
9
fuzz-ai
software
2018-12-18 06:13
A Memory Exhaustion Attack Against the Steem Blockchain
This article explains the security risk patched in steemd 0.20.7. Using American Fuzzy Lop on a message parsing library contained in the Steem blockchain implementation found unexpectedly large memory
$ 11.341
48
6
fuzz-ai
introduceyourself
2018-12-17 03:53
Introduction
Fuzz.ai is an early-stage startup dedicated to making software correctness tools easier to use. Fuzzers, model checkers, and property-based testing can make software more robust, expose security
$ 1.385
18
8
fuzz-ai
steem
2018-12-14 23:34
Finding Bugs in the Steem Blockchain with Fuzz Testing
Using American Fuzzy Lop on the JSON parsing library contained in the Steem blockchain implementation found a latent bug. Fortunately, this bug is not exploitable in practice, though it may cause Steem
$ 0.055
4