Repositories list

• linear-checker

  Public
  linear-checker

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •1•2•2•0•Updated Jan 17, 2025Jan 17, 2025

• network-request-checker

  Public
  A Java compiler plugin aiming at finding possible network requests in Java and Android apps.

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •1•0•0•0•Updated Jan 15, 2025Jan 15, 2025

• crypto-checker

  Public
  A pluggable type system for Java to find unpermitted algorithms or providers at compile time.

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •3•1•1•0•Updated Jan 15, 2025Jan 15, 2025

• vehiloco.github.io

  Public
  VeHiLoCo website

  GNU General Public License v2.0

  •0•0•0•0•Updated Jun 4, 2021Jun 4, 2021

• secure-random-checker

  Public
  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Oct 9, 2020Oct 9, 2020