Pinned Repositories
crypto-checker
A pluggable type system for Java to find unpermitted algorithms or providers at compile time.
network-request-checker
A Java compiler plugin aiming at finding possible network requests in Java and Android apps.
secure-random-checker
vehiloco.github.io
VeHiLoCo website
vehiloco's Repositories
vehiloco/linear-checker
linear-checker
vehiloco/crypto-checker
A pluggable type system for Java to find unpermitted algorithms or providers at compile time.
vehiloco/network-request-checker
A Java compiler plugin aiming at finding possible network requests in Java and Android apps.
vehiloco/secure-random-checker
vehiloco/vehiloco.github.io
VeHiLoCo website