Skip to content
@CSeq

CSeq

Sequentialization for Concurrent C Programs

Popular repositories Loading

  1. Overview Overview Public

    3

  2. dpu dpu Public

    Forked from cesaro/dpu

    Dynamic analysis of multithreaded C programs

    C 1

  3. lina4wm-tools lina4wm-tools Public

    Forked from oleg82upb/lina4wm-tools

    Java

  4. model-checker-benchmarks model-checker-benchmarks Public

    Forked from computersforpeace/model-checker-benchmarks

    CDSChecker benchmark suite

    C++

  5. fruit fruit Public

    Forked from google/fruit

    Fruit, a dependency injection framework for C++

    C++

  6. PinPP PinPP Public

    Forked from SEDS/PinPP

    C++ template meta-programmable framework for authoring Pintools

    C++ 1

Repositories

Showing 10 of 49 repositories
  • Overview Public
    CSeq/Overview’s past year of commit activity
    3 0 0 0 Updated May 28, 2021
  • error-prone Public Forked from google/error-prone

    Catch common Java mistakes as compile-time errors

    CSeq/error-prone’s past year of commit activity
    Java 0 Apache-2.0 806 0 0 Updated Oct 25, 2017
  • checkstyle Public Forked from checkstyle/checkstyle

    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.

    CSeq/checkstyle’s past year of commit activity
    Java 0 LGPL-2.1 8,755 0 0 Updated Oct 24, 2017
  • srcUML Public Forked from srcML/srcUML

    UML Class diagram reverse engineering tool

    CSeq/srcUML’s past year of commit activity
    HTML 0 GPL-3.0 5 0 0 Updated Oct 20, 2017
  • fuzzer-test-suite Public Forked from google/fuzzer-test-suite

    Set of tests for fuzzing engines

    CSeq/fuzzer-test-suite’s past year of commit activity
    C 0 Apache-2.0 292 0 0 Updated Oct 5, 2017
  • lazycseq Public
    CSeq/lazycseq’s past year of commit activity
    0 0 0 0 Updated Sep 19, 2017
  • dpu Public Forked from cesaro/dpu

    Dynamic analysis of multithreaded C programs

    CSeq/dpu’s past year of commit activity
    C 1 GPL-2.0 2 0 0 Updated Aug 23, 2017
  • pharos Public Forked from cmu-sei/pharos

    Automated static analysis tools for binary programs

    CSeq/pharos’s past year of commit activity
    C++ 0 201 0 0 Updated Jul 10, 2017
  • ASCYLIB Public Forked from LPD-EPFL/ASCYLIB

    ASCYLIB (with OPTIK) is a concurrent-search data-structure library with over 40 implementantions of linked lists, hash tables, skip lists, binary search trees, queues, and stacks.

    CSeq/ASCYLIB’s past year of commit activity
    C 0 GPL-2.0 42 0 0 Updated Jun 30, 2017
  • edb-debugger Public Forked from eteran/edb-debugger

    edb is a cross platform x86/x86-64 debugger.

    CSeq/edb-debugger’s past year of commit activity
    C++ 0 GPL-2.0 340 0 0 Updated Jun 23, 2017
View all repositories

Top languages

Loading…

Most used topics

Loading…