Topic: abstract-interpretation Goto Github
Some thing interesting about abstract-interpretation
Some thing interesting about abstract-interpretation
abstract-interpretation,Abstract Neural Networks (SAS 2020)
Organization: 95616arg
abstract-interpretation,Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
Organization: 95616arg
abstract-interpretation,Reference implementations for Symbolic Abstraction algorithms.
Organization: 95616arg
abstract-interpretation,:dart: soap - Structural Optimisation of Arithmetic Programs
User: admk
abstract-interpretation,The MemCAD static analyzer
Organization: antique-team
abstract-interpretation,translate clang AST into CRAB
User: awruef
abstract-interpretation,
User: caterinaurban
abstract-interpretation,
User: caterinaurban
abstract-interpretation,
User: caterinaurban
abstract-interpretation,MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis
Organization: catseye
Home Page: https://catseye.tc/node/SixtyPical
abstract-interpretation,Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
User: chunghasung
abstract-interpretation,The Ciao Preprocessor
Organization: ciao-lang
abstract-interpretation,Reading club on programming languages and formal methods
User: dfava
abstract-interpretation,A certifiable defense against adversarial examples by training neural networks to be provably robust
Organization: eth-sri
Home Page: https://arxiv.org/abs/1903.12519
abstract-interpretation,Performant type-checking for python.
Organization: facebook
Home Page: https://pyre-check.org/
abstract-interpretation,Pull your compiler up with abstract bootstraps.
User: femtomc
abstract-interpretation,Corax for Java: A general static analysis framework for java code checking.
Organization: feysh-group
abstract-interpretation,Abstract Interpreter for JavaScript with perfect call/return matching.
User: fiigii
Home Page: http://fiigii.com/JsCFA-prototype/
abstract-interpretation,Abstract-interpretation-based Static Analyzer for the While language
User: fpoli
abstract-interpretation,Release snapshots of the Frama-C platform for source code analysis
Organization: frama-c
Home Page: http://frama-c.com
abstract-interpretation,OCaml Library for the drawing of abstract elements (Polyhedra, Octagon, Boxes)
User: ghilesz
abstract-interpretation,Static analysis framework for C
Organization: goblint
Home Page: https://goblint.in.tum.de
abstract-interpretation,Static Analysis Compiler Plugin for Scala
User: hairyfotr
abstract-interpretation,Experimental python linter/interpreter intended to check tensor/matrix/arrays operations using NumPy (currently only works in Python 3.6 and Python 3.7)
User: helq
abstract-interpretation,Generic implementation of different CFA families based on monadic decomposition
User: ilyasergey
Home Page: http://github.com/ilyasergey/monadic-cfa/wiki
abstract-interpretation,Pure Demand Operational Semantics
Organization: jhu-pl-lab
Home Page: https://arxiv.org/abs/2310.15915
abstract-interpretation,BinAbsInspector: Vulnerability Scanner for Binaries
User: keensecuritylab
abstract-interpretation,Staged Abstract Interpreters
User: kraks
abstract-interpretation,Python library for building embedded languages within Python that have alternative operational semantics and abstract interpretations.
User: lapets
Home Page: https://pydrogen.org
abstract-interpretation,EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode
Organization: lisa-analyzer
abstract-interpretation,Golang frontend for LiSA
Organization: lisa-analyzer
abstract-interpretation,📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
Organization: lisa-analyzer
Home Page: https://lisa-analyzer.github.io/
abstract-interpretation,Library for concisely defining abstract metrics over JavaScript syntax.
Organization: multiparty
Home Page: https://multiparty.org/carousels
abstract-interpretation,
User: namin
abstract-interpretation,explorations in core.logic
User: namin
abstract-interpretation,Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Organization: nasa-sw-vnv
abstract-interpretation,Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs
Organization: par4all
Home Page: www.par4all.org
abstract-interpretation,A ω-regular language inclusion checker
User: parof
abstract-interpretation,[WIP] Interval Analysis on LLVM IR
User: pragmatwice
abstract-interpretation,The Sparrow Static Analyzer
Organization: ropas
Home Page: http://ropas.snu.ac.kr/sparrow
abstract-interpretation,Static Analyzer for LLVM bitcode based on Abstract Interpretation
Organization: seahorn
abstract-interpretation,A library for building abstract interpretation-based analyses
Organization: seahorn
abstract-interpretation,SeaHorn Verification Framework
Organization: seahorn
Home Page: http://seahorn.github.io/
abstract-interpretation,Program analysis playground for a simple, imperative language
User: skius
abstract-interpretation,Sturdy is a library for developing sound static analyses in Haskell.
User: svenkeidel
abstract-interpretation,Software Security Analysis Course
User: svf-tools
Home Page: https://github.com/SVF-tools/Software-Security-Analysis/wiki
abstract-interpretation,Signedness-Agnostic Strided-Interval
Organization: ucsb-seclab
abstract-interpretation,eBPF verifier based on abstract interpretation
Organization: vbpf
abstract-interpretation,Rust frontend for LiSA
User: vincenzoarceri
abstract-interpretation,LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.
User: xlauko
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.