Repositories list

• rvsec

  Public
  runtime-verification

  Java

  •2•1•1•0•Updated Aug 30, 2025Aug 30, 2025

• 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

  •0•0•0•0•Updated Aug 27, 2025Aug 27, 2025

• svfa

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

  Scala

  •15•0•0•2•Updated Aug 27, 2025Aug 27, 2025

• SmartChat-Artifact

  Public
  Solidity

  •0•0•0•0•Updated Aug 14, 2025Aug 14, 2025

• reach-android

  Public
  0•0•0•0•Updated Aug 12, 2025Aug 12, 2025

• flowdroid-taint-analysis

  Public
  A fork of the securiBench FlowDroid module

  Java

  •2•1•0•0•Updated Jul 23, 2025Jul 23, 2025

• JSMiner

  Public
  javascriptantrl4

  Java

  •1•0•0•0•Updated Jun 23, 2025Jun 23, 2025

• SmartChat

  Public
  SmartChat

  C#

  •

  MIT License

  •0•0•0•0•Updated Jun 23, 2025Jun 23, 2025

• joanaTaintAnalysis

  Public
  Java

  •3•0•0•1•Updated Jun 17, 2025Jun 17, 2025

• rvsec-02

  Public
  Python

  •0•0•0•0•Updated May 29, 2025May 29, 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

  •1•1•0•0•Updated May 22, 2025May 22, 2025

• static-analysis

  Public
  Static analysis tools

  TeX

  •2•2•8•1•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

  •24•0•0•0•Updated Mar 18, 2025Mar 18, 2025

• dogefuzz

  Public
  Flexible fuzzer for detecting Ethreum Smart Contract vulnerabilities

  ethereumsmart-contractsblockchain+ 1fuzzing

  Go

  •

  MIT License

  •3•4•0•0•Updated Feb 20, 2025Feb 20, 2025

• dogefuzz-results

  Public
  Python

  •1•0•0•0•Updated Feb 11, 2025Feb 11, 2025

• dogefuzz-benchmark

  Public
  Benchmark tool for Dogefuzz fuzzer

  ethereumblockchainfuzzing

  Solidity

  •

  MIT License

  •1•0•0•0•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

  •24•0•0•0•Updated Oct 9, 2024Oct 9, 2024

• svfa-scala

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

  Java

  •15•1•0•3•Updated Oct 2, 2024Oct 2, 2024

• dogefuzz-vandal-api

  Public
  Python

  •1•0•0•0•Updated Mar 26, 2024Mar 26, 2024

• mining-email-lists

  Public
  Java

  •

  MIT License

  •0•0•0•0•Updated Feb 6, 2024Feb 6, 2024

• dogefuzz-inputs

  Public
  Solidity

  •

  MIT License

  •1•0•0•0•Updated Dec 7, 2023Dec 7, 2023

• dogefuzz-enhanced-go-ethereum

  Public
  ethereumsmart-contractsblockchain+ 1fuzzing

  Go

  •

  GNU Lesser General Public License v3.0

  •1•0•0•0•Updated Oct 4, 2023Oct 4, 2023

• pamunb.github.io

  Public
  0•0•0•0•Updated Sep 18, 2023Sep 18, 2023

• WhileLang-Haskell

  Public
  Implementation of static analysis algorithms in Haskell

  Haskell

  •

  Other

  •2•0•0•0•Updated Jun 6, 2023Jun 6, 2023

• RVSec-replication-package

  Public
  Java

  •1•1•0•0•Updated May 29, 2023May 29, 2023

• cppEvolution

  Public
  Jupyter Notebook

  •0•0•0•1•Updated Apr 15, 2023Apr 15, 2023

• rascal-Java8

  Public
  Introducing the support for Java 8 in Rascal

  Java

  •8•5•4•2•Updated Jan 16, 2023Jan 16, 2023

• JUnit5Migration

  Public
  Rascal

  •1•6•3•0•Updated Nov 29, 2022Nov 29, 2022

• CryLogger

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

  Java

  •

  MIT License

  •15•0•0•0•Updated Aug 13, 2022Aug 13, 2022

• MoniTests

  Public
  This project aims to apply JavaMop, a Java implementation of Monitoring-Oriented Programming, to verify usage of cryptographic llibraries

  Java

  •1•0•0•0•Updated Aug 10, 2022Aug 10, 2022