[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@statycc

Static Analyses of Program Flows: Types and Certificate for Complexity

README.md

StATyCC stands for "Static Analyses of Program Flows: Types and Certificate for Complexity." This is a two-year international collaborative project funded by the Transatlantic Research Partnership and involving the School of Computer and Cyber Sciences of the Augusta University and the Northern Paris Computer Science Lab of the University of Paris 13.

The project aims at providing new static analysis tools based on theoretical results from Implicit computational complexity, building on previous work of Moyen, Rubiano and Seiller [1]. It revolves around certified compositional analysis of source code, loop optimization through an original dependency model. Application to parallel optimization and intermediate representation are currently being investigated.

Pinned Loading

  1. pymwp pymwp Public

    A static analyzer of variable value growth for C programs.

    Python 4 1

  2. LQICM_On_C_Toy_Parser LQICM_On_C_Toy_Parser Public

    This Loop Quasi-Invariant Chunk Motion pass use the "pyCParser" to modify C programs' AST and produce an optimized one semantically equivalent.

    Python 4 4

Repositories

Showing 5 of 5 repositories
  • pymwp Public

    A static analyzer of variable value growth for C programs.

    statycc/pymwp’s past year of commit activity
    Python 4 GPL-3.0 1 5 0 Updated Nov 30, 2024
  • loop-fission Public

    Benchmarks of loop fission algorithm.

    statycc/loop-fission’s past year of commit activity
    C 5 0 0 0 Updated Nov 3, 2024
  • ifspec Public

    The IFSPEC information flow control benchmark suite.

    statycc/ifspec’s past year of commit activity
    Java 0 0 0 0 Updated Sep 9, 2024
  • .github Public
    statycc/.github’s past year of commit activity
    HTML 0 0 0 0 Updated Nov 10, 2023
  • LQICM_On_C_Toy_Parser Public

    This Loop Quasi-Invariant Chunk Motion pass use the "pyCParser" to modify C programs' AST and produce an optimized one semantically equivalent.

    statycc/LQICM_On_C_Toy_Parser’s past year of commit activity
    Python 4 CC0-1.0 4 0 0 Updated Mar 5, 2021

Top languages

Loading…

Most used topics

Loading…