8000 code-intelli-scan repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

@code-intelli-scan code-intelli-scan

Change the repository type filter

All

    Repositories list

    51 repositories

    • honggfuzz

      Public
      Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
      C
      •
      Apache License 2.0
      •516•0•0•0•Updated Nov 12, 2021Nov 12, 2021

    • control-flag

      Public
      A system to flag anomalous source code expressions by learning typical expressions from training data
      C++
      •
      MIT License
      •113•0•0•0•Updated Oct 25, 2021Oct 25, 2021

    • flawfinder

      Public
      a static analysis tool for finding vulnerabilities in C/C++ source code
      Python
      •
      GNU General Public License v2.0
      •83•0•0•0•Updated Sep 21, 2021Sep 21, 2021

    • AFL

      Public
      american fuzzy lop - a security-oriented fuzzer
      C
      •
      Apache License 2.0
      •659•0•0•0•Updated Jul 5, 2021Jul 5, 2021

    • bandit

      Public
      Bandit is a tool designed to find common security issues in Python code.
      Python
      •
      Apache License 2.0
      •652•0•0•0•Updated Jun 15, 2021Jun 15, 2021

    • lizard

      Public
      A simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages.
      Python
      •
      Other
      •256•0•0•0•Updated May 26, 2021May 26, 2021

    • infer

      Public
      A static analyzer for Java, C, C++, and Objective-C
      HTML
      •
      MIT License
      •2k•0•0•0•Updated Apr 1, 2021Apr 1, 2021

    • spotbugs

      Public
      SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
      Java
      •
      GNU Lesser General Public License v2.1
      •622•0•0•0•Updated Mar 29, 2021Mar 29, 2021

    • cargo-geiger

      Public
      Detects usage of unsafe Rust in a Rust crate and its dependencies.
      Rust
      •71•0•0•0•Updated Mar 15, 2021Mar 15, 2021

    • angr

      Public
      A powerful and user-friendly binary analysis platform!
      Python
      •
      BSD 2-Clause "Simplified" License
      •1.1k•0•0•0•Updated Mar 4, 2021Mar 4, 2021

    • Triton

      Public
      Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.
      C++
      •
      Apache License 2.0
      •549•0•0•0•Updated Mar 3, 2021Mar 3, 2021

    • checkstyle

      Public
      Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
      Java
      •
      GNU Lesser General Public License v2.1
      •3.8k•0•0•0•Updated Mar 2, 2021Mar 2, 2021

    • lint

      Public
      [mirror] This is a linter for Go source code.
      Go
      •
      BSD 3-Clause "New" or "Revised" License
      •487•0•0•0•Updated Mar 2, 2021Mar 2, 2021

    • codechecker

      Public
      CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
      Python
      •
      Apache License 2.0
      •415•0•0•0•Updated Mar 1, 2021Mar 1, 2021

    • VulDetector

      Public
      A static-analysis tool to detect C/C++ vulnerabilities based on graph comparison
      Python
      •
      GNU General Public License v3.0
      •8•0•0•0•Updated Feb 26, 2021Feb 26, 2021

    • s2e

      Public
      S2E: A platform for multi-path program analysis with selective symbolic execution.
      C++
      •
      Other
      •95•0•0•0•Updated Feb 20, 2021Feb 20, 2021

    • vuddy

      Public
      VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)
      C
      •
      MIT License
      •24•0•0•0•Updated Feb 15, 2021Feb 15, 2021

    • zipkin

      Public
      Zipkin is a distributed tracing system
      Java
      •
      Apache License 2.0
      •3.1k•0•0•0•Updated Dec 13, 2020Dec 13, 2020

    • s2e-old

      Public
      This is the archived S2E 1.0 repo. We do not maintain it anymore.
      C
      •
      Other
      •167•0•0•0•Updated Jun 25, 2020Jun 25, 2020

    • bugs-classification

      Public
      Java
      •4•0•0•0•Updated Jun 18, 2020Jun 18, 2020

    • gumtree

      Public
      A neat code differencing tool
      Java
      •
      GNU Lesser General Public License v3.0
      •176•0•0•0•Updated Apr 8, 2020Apr 8, 2020

    • ccls

      Public
      C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting
      C++
      •
      Apache License 2.0
      •266•0•0•0•Updated Mar 22, 2020Mar 22, 2020

    • jupyterlab-lsp

      Public
      Language Server Protocol integration for JupyterLab (code navigation + hover suggestions + linters + autocompletion)
      TypeScript
      •
      BSD 3-Clause "New" or "Revised" License
      •150•0•0•0•Updated Nov 4, 2019Nov 4, 2019

    • vscode-cpptools

      Public
      Official repository for the Microsoft C/C++ extension for VS Code.
      TypeScript
      •
      Other
      •1.6k•0•0•0•Updated Oct 26, 2019Oct 26, 2019

    • clang-tools-extra

      Public
      Mirror of official clang-tools-extra git repository located at http://llvm.org/git/clang-tools-extra. Updated every five minutes.
      C++
      •
      Other
      •305•0•0•0•Updated Oct 19, 2019Oct 19, 2019

    • eslint

      Public
      A fully pluggable tool for identifying and reporting on patterns in JavaScript
      JavaScript
      •
      MIT License
      •4.7k•0•0•0•Updated Sep 29, 2019Sep 29, 2019

    • protobuf

      Public
      Protocol Buffers - Google's data interchange format
      C++
      •
      Other
      •16k•0•0•0•Updated Sep 29, 2019Sep 29, 2019

    • jemalloc

      Public
      C
      •
      Other
      •1.5k•0•0•0•Updated Sep 28, 2019Sep 28, 2019

    • pmd

      Public
      An extensible multilanguage static code analyzer.
      Java
      •
      Other
      •1.5k•0•0•0•Updated Sep 28, 2019Sep 28, 2019

    • libgit2

      Public
      A cross-platform, linkable library implementation of Git that you can use in your application.
      C
      •
      Other
      •2.5k•0•0•0•Updated Sep 28, 2019Sep 28, 2019
    0