The Wayback Machine - https://web.archive.org/web/20210509073652/https://github.com/agroce
Skip to content
Avatar
127 followers · 116 following · 322

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@osustarg @naustarg @NAU-CS @SSERL @crytic
Block or Report

Block or report agroce

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. afl-compiler-fuzzer

    Variation of american fuzzy lop for testing compilers for C-like languages, revised by Alex Groce & collaborators to fuzz tools processing source code in C-like languages

    C 59 7

  2. universalmutator

    Regexp based tool for mutating generic source code across numerous languages

    Python 64 16

  3. tstl

    Template Scripting Testing Language tool: automated test generation for Python

    Python 82 23

  4. trailofbits/deepstate

    A unit test-like interface for fuzzing and symbolic execution

    Python 616 64

  5. crytic/echidna

    Ethereum smart contract fuzzer

    Haskell 615 96

  6. crytic/slither

    Static Analyzer for Solidity

    Python 840 198

662 contributions in the last year

May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

May 2021

Created 3 commits in 2 repositories

Created an issue in ethereum/fe that received 2 comments

failed to analyze lowered AST: SemanticError { kind: UndefinedValue, context: [Span { start: 178, end: 201 }, Span { start: 178, end: 209 }, Span { start: 178, end: 244 }, Span { start: 171, end: 244 }, Span { start: 44, end: 326 }] } at compiler/src/lib.rs:54:60

Compiling this file: contract o: my_sto_tuple:(u256,i32) pub def e(my_num:u256,my_bool:bool,my_address:address)->(u256,bool,address): return(my_num…

2 comments
Opened 1 other issue in 1 repository