The Static Analysis Results Interchange Format (SARIF) Website

I work at Red Hat on GCC, the GNU Compiler Collection. For the last four releases of GCC, I've been working on -fanalyzer, a static analysis pass that tries to identify various problems at

Since November 2020, every T2 and Apple silicon Mac that has booted Big Sur or later in Full Security mode has check the integrity of its 9 GB SSV.

The Haskell Optimization Handbook. Contribute to haskellfoundation/hs-opt-handbook.github.io development by creating an account on GitHub.

Scientific Reports - The role of cat eye narrowing movements in cat–human communication

There are the obvious arguments, the non-obvious arguments, and the invisible arguments.

I heard about these mythical programs that find optimal code through a brute-force search, but I didn't know how they worked. So I made one.