Repositories list

• rvsec

  Public
  runtime-verification

  runtime-verification

  Java

  •22 forks•11 star•88 issues•00 pull requests•Updated Apr 25, 2026Apr 25, 2026

• rvsec-02

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 2, 2026Apr 2, 2026

• PyMiner

  Public
  This is a tool to mining and extract metrics from Python open source projects from github for an empirical research.

  Python

  •

  MIT License

  •11 fork•11 star•00 issues•00 pull requests•Updated Jan 30, 2026Jan 30, 2026

• svfa

  Public
  An implementation of sparse-value flow analysis on top of soot (using Scala)

  Scala

  •1616 forks•11 star•00 issues•77 pull requests•Updated Dec 24, 2025Dec 24, 2025

• securibench-micro-pamunb

  Public
  Securibench Micro is a benchmark for static analysis tools for security.

  Java

  •

  Apache License 2.0

  •2525 forks•00 stars•00 issues•00 pull requests•Updated Dec 10, 2025Dec 10, 2025

• flowdroid-taint-analysis

  Public
  A fork of the securiBench FlowDroid module

  Java

  •22 forks•11 star•00 issues•00 pull requests•Updated Nov 22, 2025Nov 22, 2025

• joanaTaintAnalysis

  Public
  Java

  •33 forks•00 stars•00 issues•11 pull request•Updated Nov 22, 2025Nov 22, 2025

• SmartChat-Artifact

  Public
  Solidity

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 14, 2025Aug 14, 2025

• reach-android

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Aug 12, 2025Aug 12, 2025

• JSMiner

  Public
  javascriptantrl4

  javascriptantrl4

  Java

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jun 23, 2025Jun 23, 2025

• SmartChat

  Public
  SmartChat

  C#

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 23, 2025Jun 23, 2025

• dogefuzz_sbseg_artifact

  Public
  Artifact repository for "DogeFuzz: A Simple Yet Efficient Grey-box Fuzzer for Ethereum Smart Contracts"

  Solidity

  •

  Creative Commons Attribution 4.0 International

  •11 fork•11 star•00 issues•00 pull requests•Updated May 22, 2025May 22, 2025

• static-analysis

  Public
  Static analysis tools

  TeX

  •22 forks•22 stars•88 issues•11 pull request•Updated Apr 29, 2025Apr 29, 2025

• securibench-micro

  Public
  Securibench Micro is a benchmark for static analysis tools for security.

  HTML

  •

  Apache License 2.0

  •2525 forks•00 stars•00 issues•00 pull requests•Updated Mar 18, 2025Mar 18, 2025

• dogefuzz

  Public
  Flexible fuzzer for detecting Ethreum Smart Contract vulnerabilities

  ethereumsmart-contractsblockchain+ 1

  ethereumsmart-contractsblockchainfuzzing

  Go

  •

  MIT License

  •44 forks•44 stars•00 issues•00 pull requests•Updated Feb 20, 2025Feb 20, 2025

• dogefuzz-results

  Public
  Python

  •11 fork•00 stars•00 issues•00 pull requests•Updated Feb 11, 2025Feb 11, 2025

• dogefuzz-benchmark

  Public
  Benchmark tool for Dogefuzz fuzzer

  ethereumblockchainfuzzing

  ethereumblockchainfuzzing

  Solidity

  •

  MIT License

  •11 fork•00 stars•00 issues•00 pull requests•Updated Dec 30, 2024Dec 30, 2024

• securibench-micro-jakarta

  Public
  Securibench Micro is a benchmark for static analysis tools for security.

  HTML

  •

  Apache License 2.0

  •2525 forks•00 stars•00 issues•00 pull requests•Updated Oct 9, 2024Oct 9, 2024

• svfa-scala

  Public
  An implementation of sparse-value flow analysis on top of soot (using Scala)

  Java

  •1616 forks•11 star•00 issues•33 pull requests•Updated Oct 2, 2024Oct 2, 2024

• dogefuzz-vandal-api

  Public
  Python

  •22 forks•00 stars•00 issues•00 pull requests•Updated Mar 26, 2024Mar 26, 2024

• mining-email-lists

  Public
  Java

  •

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Feb 6, 2024Feb 6, 2024

• dogefuzz-inputs

  Public
  Solidity

  •

  MIT License

  •11 fork•00 stars•00 issues•00 pull requests•Updated Dec 7, 2023Dec 7, 2023

• dogefuzz-enhanced-go-ethereum

  Public
  ethereumsmart-contractsblockchain+ 1

  ethereumsmart-contractsblockchainfuzzing

  Go

  •

  GNU Lesser General Public License v3.0

  •22 forks•00 stars•00 issues•00 pull requests•Updated Oct 4, 2023Oct 4, 2023

• pamunb.github.io

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Sep 18, 2023Sep 18, 2023

• WhileLang-Haskell

  Public
  Implementation of static analysis algorithms in Haskell

  Haskell

  •

  Other

  •22 forks•00 stars•00 issues•00 pull requests•Updated Jun 6, 2023Jun 6, 2023

• RVSec-replication-package

  Public
  Java

  •00 forks•11 star•00 issues•00 pull requests•Updated May 29, 2023May 29, 2023

• cppEvolution

  Public
  Jupyter Notebook

  •00 forks•00 stars•00 issues•11 pull request•Updated Apr 15, 2023Apr 15, 2023

• rascal-Java8

  Public
  Introducing the support for Java 8 in Rascal

  Java

  •88 forks•55 stars•44 issues•22 pull requests•Updated Jan 16, 2023Jan 16, 2023

• JUnit5Migration

  Public
  Rascal

  •11 fork•66 stars•33 issues•00 pull requests•Updated Nov 29, 2022Nov 29, 2022

• CryLogger

  Public
  CRYLOGGER: Detecting Crypto Misuses for Android and Java Apps Dynamically

  Java

  •

  MIT License

  •1414 forks•00 stars•00 issues•00 pull requests•Updated Aug 13, 2022Aug 13, 2022