GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → Kraks → sai

Kraks / sai

Licence: other
Staged Abstract Interpreters

Programming Languages

scala
5932 projects
scheme
763 projects
java
68154 projects - #9 most used programming language
C++
36643 projects - #6 most used programming language
c
50402 projects - #5 most used programming language
TeX
3793 projects

Labels

symbolic-executionstaginginterpretersabstract-interpretationmeta-programming

Projects that are alternatives of or similar to sai

SixtyPical
A 6502-oriented low-level programming language supporting advanced static analysis
Stars: ✭ 25 (-56.9%)
Mutual labels:  symbolic-execution, abstract-interpretation
crete-dev
CRETE under development
Stars: ✭ 56 (-3.45%)
Mutual labels:  symbolic-execution
Idangr
Use angr in the IDA Pro debugger generating a state from the current debug session
Stars: ✭ 214 (+268.97%)
Mutual labels:  symbolic-execution
angr-antievasion
Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).
Stars: ✭ 35 (-39.66%)
Mutual labels:  symbolic-execution
Angryghidra
Use angr in Ghidra
Stars: ✭ 241 (+315.52%)
Mutual labels:  symbolic-execution
Lyra
No description or website provided.
Stars: ✭ 23 (-60.34%)
Mutual labels:  abstract-interpretation
Symgdb
SymGDB - symbolic execution plugin for gdb
Stars: ✭ 202 (+248.28%)
Mutual labels:  symbolic-execution
racket-template
A Racket Meta-Program Generator
Stars: ✭ 17 (-70.69%)
Mutual labels:  meta-programming
Cometary
Roslyn extensions, with a touch of meta-programming.
Stars: ✭ 31 (-46.55%)
Mutual labels:  meta-programming
sasi
Signedness-Agnostic Strided-Interval
Stars: ✭ 32 (-44.83%)
Mutual labels:  abstract-interpretation
soap
🎯 soap - Structural Optimisation of Arithmetic Programs
Stars: ✭ 21 (-63.79%)
Mutual labels:  abstract-interpretation
Truth
A Domain Representation Language
Stars: ✭ 23 (-60.34%)
Mutual labels:  meta-programming
Unchained
A fully type safe, compile time only units library.
Stars: ✭ 70 (+20.69%)
Mutual labels:  meta-programming
Miasm
Reverse engineering framework in Python
Stars: ✭ 2,649 (+4467.24%)
Mutual labels:  symbolic-execution
types-and-programming-languages
C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
Stars: ✭ 32 (-44.83%)
Mutual labels:  interpreters
Symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Stars: ✭ 212 (+265.52%)
Mutual labels:  symbolic-execution
sturdy
Sturdy is a library for developing sound static analyses in Haskell.
Stars: ✭ 49 (-15.52%)
Mutual labels:  abstract-interpretation
stevia
A simple (unfinished) SMT solver for QF_ABV.
Stars: ✭ 30 (-48.28%)
Mutual labels:  symbolic-execution
compiler-course-unipi
Lab of the course Languages, Compilers and Interpreters (Cod. 653AA) @ UNIPI
Stars: ✭ 18 (-68.97%)
Mutual labels:  interpreters
so stupid search
It's my honor to drive you fucking fire faster, to have more time with your Family and Sunshine.This tool is for those who often want to search for a string Deeply into a directory in Recursive mode, but not with the great tools: grep, ack, ripgrep .........every thing should be Small, Thin, Fast, Lazy....without Think and Remember too much ...一…
Stars: ✭ 135 (+132.76%)
Mutual labels:  meta-programming
View All Similar Projects ➔

Scala CI

Staged Program Analyzers

Improving the performance of static analysis by meta-programming/multi-stage programming.

Directories

  • dev-clean Current development using LMS-clean
  • oopsla19-code The artifact of the OOPSLA '19 submission

Related Software/Code

  • lms-clean The new version of LMS library
  • immer An immutable data structures library for C++
  • dev-obsolete Outdated development using virtualization-lms-core
  • pldi19-code The code for the PLDI '19 submission (obsoleted)
  • abscomp-racket Abstract Compilation (CC '96) implemented in Racket

Publications

  • Towards Partially Evaluating Symbolic Interpreters for All
    Shangyin Tan, Guannan Wei, Tiark Rompf
    ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), co-located with POPL 2022. Philadelphia, PA, USA
    PDF

  • LLSC: A Parallel Symbolic Execution Compiler for LLVM IR (Demo Paper)
    Guannan Wei, Shangyin Tan, Oliver Bračevac, Tiark Rompf
    Proceedings of The 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021)
    PDF (ACM DL)

  • Compiling Symbolic Execution with Staging and Algebraic Effect
    Guannan Wei, Oliver Bračevac, Shangyin Tan, Tiark Rompf
    Proceedings of the ACM on Programming Languages, Volume 4 (OOPSLA 2020). Online
    PDF (ACM DL)

  • Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-Programming
    Guannan Wei, Yuxuan Chen, Tiark Rompf
    Proceedings of the ACM on Programming Languages, Volume 3 (OOPSLA 2019). Athens, Greece
    PDF (ACM DL)

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].