1-35 of about 35 matches for site:github.com verification code
GitHub - kaist-cp/smr-verification: Modular Verification of Safe Memory Reclamation in Concurrent Se
https://github.com/kaist-cp/smr-verification
GitHub - kaist-cp/smr-verification: Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic Skip to
https://github.com/verse-lab/bythos
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
https://github.com/inQWIRE/QWIRE
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
https://github.com/inQWIRE/QWIRE
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
GitHub - mvt-project/mvt: MVT (Mobile Verification Toolkit) helps with conducting forensics of mobil
https://github.com/mvt-project/mvt
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
GitHub - javaee/jaxb-verification: JAXB has been contributed to Eclipse Foundation. Please click the
https://github.com/javaee/jaxb-verification
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
GitHub - OWASP/Software-Component-Verification-Standard: Software Component Verification Standard (S
https://github.com/OWASP/Software-Component-Verification-Standard
GitHub - OWASP/Software-Component-Verification-Standard: Software Component Verification Standard (SCVS) Skip to content Navigation Menu Toggle navigation Sign
https://github.com/torproject/torbrowser-launcher/issues/229
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
GitHub - corona-warn-app/cwa-verification-server: Backend implementation of the verification process
https://github.com/corona-warn-app/cwa-verification-server
GitHub - corona-warn-app/cwa-verification-server: Backend implementation of the verification process Skip to content
GitHub - mvt-project/mvt: MVT (Mobile Verification Toolkit) helps with conducting forensics of mobil
https://github.com/mvt-project/mvt
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
GitHub - HVLearn/HVLearn: A tool/framework for analyzing hostname verification in SSL/TLS implementa
https://github.com/HVLearn/HVLearn
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
https://github.com/oftc/oftc-webverify
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
https://github.com/w3c-dvcg
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
https://github.com/shouvanikc/Quantum-Obfuscator
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
https://github.com/shouvanikc/Quantum-Obfuscator
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
https://github.com/crypto-utils/keygrip
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
https://github.com/crypto-utils/keygrip
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
https://github.com/OWASP/ASVS
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
https://github.com/LIVVkit/LIVVkit
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
https://github.com/pillarjs/csrf
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
https://github.com/pillarjs/csrf
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
https://github.com/tevador/equix
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
https://github.com/opendime/opendime-rng-verify
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
https://github.com/fsmb/fcvs-api
packages Security Find and fix vulnerabilities Codespaces Instant dev environments GitHub Copilot Write better code with AI Code review
GitHub - beemdevelopment/Aegis: A free, secure and open source app for Android to manage your 2-step
https://github.com/beemdevelopment/Aegis
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
https://github.com/berkeley-abc/abc
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
https://github.com/flutter/cocoon/blob/main/cloud_build/verify_provena...
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
GitHub - beemdevelopment/Aegis: A free, secure and open source app for Android to manage your 2-step
https://github.com/beemdevelopment/Aegis
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
https://github.com/dafny-lang/dafny
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
https://github.com/dafny-lang/dafny
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
GitHub - davido/gerrit-buildbot-plugin: buildbot gerrit plugin is a queue manager for gerrit patch v
https://github.com/davido/gerrit-buildbot-plugin
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
GitHub - davido/gerrit-buildbot-plugin: buildbot gerrit plugin is a queue manager for gerrit patch v
https://github.com/davido/gerrit-buildbot-plugin
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
GitHub - krzyzanowskim/ObjectivePGP: ObjectivePGP is an open-source library for iOS and macOS that p
https://github.com/krzyzanowskim/ObjectivePGP
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
GitHub - zerodytrash/Simple-YouTube-Age-Restriction-Bypass: A simple browser extension to bypass You
https://github.com/zerodytrash/Simple-YouTube-Age-Restriction-Bypass#r...
vulnerabilities Actions Automate any workflow Codespaces Instant dev environments Issues Plan and track work Code Review Manage code changes
GitHub - indieweb/verify-me: A plugin that checks all rel="me" links are reciprocal, doing distribut
https://github.com/indieweb/verify-me
packages Security Find and fix vulnerabilities Codespaces Instant dev environments GitHub Copilot Write better code with AI Code review