cclyzerpp
c-semantics
cclyzerpp | c-semantics | |
---|---|---|
1 | 4 | |
111 | 301 | |
1.8% | 0.7% | |
4.2 | 1.8 | |
about 1 year ago | over 2 years ago | |
C++ | C | |
BSD 3-clause "New" or "Revised" License | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
cclyzerpp
c-semantics
- The C Bounded Model Checker: Criminally Underused
-
Soufflé: A Datalog Synthesis Tool for Static Analysis
https://github.com/kframework/c-semantics while you can do static analysis with this the dynamic instrumentation of UB isnfar more thorough than ubsan
-
Mildly Interesting Quirks of C
> "Who Says C is Simple?"
People who don't know what "simple" means and confuse it with "easy".
https://www.entropywins.wtf/blog/2017/01/02/simple-is-not-ea...
https://www.infoq.com/presentations/Simple-Made-Easy/
"Easy" things almost always lead to astonishing complexity.
Also it's easy to see just how complex C is: Have a look at a formal description of it! (And compare to a truly simple language like e.g. LISP).
https://github.com/kframework/c-semantics/tree/master/semant...
In contrast some basic Lambda calculus language semantics fit 0.5 of a pages in K.
https://www.youtube.com/watch?v=eSaIKHQOo4c
https://www.youtube.com/watch?v=y5Tf1EZVj8E
-
Programming language for high performance simulations. Is there anything like this already?
I stopped working on it in 2012, but people have continued working on it since then. The current repository is at https://github.com/kframework/c-semantics, but it includes stuff in addition to C; people have started adding C++ semantics as well.
What are some alternatives?
crab - A library for building abstract interpretation-based analyses
taichi - Productive, portable, and performant GPU programming in Python.
percival - 📝 Web-based, reactive Datalog notebooks for data analysis and visualization
bakeware - Compile Elixir applications into single, easily distributed executable binaries
SVF - Static Value-Flow Analysis Framework for Source Code
cbmc - C Bounded Model Checker
codeql - CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
tis-interpreter - An interpreter for finding subtle bugs in programs written in standard C
Gymbo - gradient-based symbolic execution engine implemented from scratch
souffle - Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Halide - a language for fast, portable data-parallel computation