Skip to content
View dmott-eyelock's full-sized avatar

Block or report dmott-eyelock

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
  • OpenRace Public

    Forked from jtao/OpenRace

    Open source implementation of the Coderrect Scanner core race detection functionality.

    LLVM GNU Affero General Public License v3.0 Updated Jun 8, 2021
  • cbmc Public

    Forked from diffblue/cbmc

    C Bounded Model Checker

    SWIG Other Updated Jun 8, 2021
  • CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy

    Python Apache License 2.0 Updated Jun 8, 2021
  • SonarQube C++ Community plugin (cxx plugin): This plugin adds C++ support to SonarQube with the focus on integration of existing C++ tools.

    Java GNU Lesser General Public License v3.0 Updated Jun 7, 2021
  • SVF Public

    Forked from SVF-tools/SVF

    Static Value-Flow Analysis Framework for Source Code

    C++ Other Updated Jun 5, 2021
  • joern Public

    Forked from joernio/joern

    Open-source code analysis platform for C/C++/Java based on code property graphs

    Scala Apache License 2.0 Updated Jun 5, 2021
  • A LLVM-based static analysis framework.

    C++ Other Updated May 31, 2021
  • lizard Public

    Forked from terryyin/lizard

    A simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages.

    Python Other Updated May 31, 2021
  • wkhtmltopdf Public

    CMake Updated May 18, 2021
  • Tool for analyzing includes in C++

    C++ Updated May 17, 2021
  • A tool for use with clang to analyze #includes in C and C++ source files

    C++ Other Updated May 16, 2021
  • Automatically exported from code.google.com/p/rough-auditing-tool-for-security

    C GNU General Public License v2.0 Updated May 5, 2021
  • Cobra Public

    Forked from nimble-code/Cobra

    An interactive (fast) static source code analyzer

    C Updated Mar 25, 2021
  • wtf Public

    Forked from djmott/wtf

    Windows Template Framework

    C++ Boost Software License 1.0 Updated Mar 18, 2021
  • OpenCppCoverage is an open source code coverage tool for C++ under Windows.

    C++ GNU General Public License v3.0 Updated Mar 4, 2021
  • vera Public

    Forked from verateam/vera

    A programmable tool for verification, analysis and transformation of C++ source code

    C++ Boost Software License 1.0 Updated Feb 26, 2021
  • ikos Public

    Forked from NASA-SW-VnV/ikos

    Static analyzer for C/C++ based on the theory of Abstract Interpretation.

    C++ Other Updated Feb 8, 2021
  • splint Public

    Forked from splintchecker/splint

    Splint - annotation-assisted static program checker

    C Other Updated Jan 7, 2021
  • qt Public

    Forked from wkhtmltopdf/qt

    forked Qt 4.8 with wkhtmltopdf-specific patches

    C++ Other Updated Oct 28, 2020
  • xtl Public

    Forked from djmott/xtl

    eXtended Template Library

    C++ Boost Software License 1.0 Updated Feb 17, 2020
  • Enabling "dotnet build" to compile and build C/C++ projects. MSBuild task for compiling Visual Studio C/C++ projects (.vcxproj) with your choice of compiler on Linux or Windows or Mac!

    C# Updated Nov 21, 2019
  • Flint++ is cross-platform, zero-dependency port of flint, a lint program for C++ developed and used at Facebook.

    C++ Boost Software License 1.0 Updated Sep 25, 2019
  • CMetrics measures size and complexity for C files

    Shell GNU General Public License v2.0 Updated Mar 24, 2015