Skip to content
Avatar

Achievements

Achievements

Organizations

@coccinelle
Block or Report

Block or report aryx

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

Report abuse

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

Report abuse

Pinned

  1. Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

    Java 4.5k 187

  2. pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code.

    OCaml 117 17

  3. Forked from coccinelle/coccinelle

    Release tracking for the Coccinelle project

    OCaml 3 1

  4. Tools for code analysis, visualizations, or style-preserving source transformation.

    OCaml 2.4k 214

  5. literate programming meets unison

    OCaml 25 2

  6. Plan9 software ported to OCaml

    OCaml 18 1

2,984 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Mon Wed Fri

Contribution activity

July 2021

Created a pull request in returntocorp/semgrep that received 3 comments

[Java] Support varargs and partial stmts

This closes #3455 This closes #3417 test plan: test files included make test PR checklist: changelog is up to date

+74 −2 3 comments
Reviewed 13 pull requests in 6 repositories
returntocorp/semgrep 4 pull requests
returntocorp/ocaml-tree-sitter-semgrep 3 pull requests
tree-sitter/tree-sitter-javascript 2 pull requests
returntocorp/semgrep-docs 2 pull requests
returntocorp/ocaml-tree-sitter-core 1 pull request
tree-sitter/tree-sitter-typescript 1 pull request

Created an issue in returntocorp/ocaml-tree-sitter-semgrep that received 6 comments

make test failure and other compilation errors

I did make setup, and make build, but then make test fails with: ... eq: Generating initial 'grammar.json' from 'grammar.js'. seq: Simplifying 'gra…

6 comments
Opened 1 other issue in 1 repository
2 contributions in private repositories Jul 2

Seeing something unexpected? Take a look at the GitHub profile guide.