smatch source matcher download

An experiment in finding kernel errors.

There are two main parts to Smatch. The first is a patch to the gcc sources to print out a lot of information. The second part is a collection of perl scripts and libraries to analyze the information.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow smatch source matcher

smatch source matcher Web Site

Other Useful Business Software

AI-generated apps that pass security review

Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.

Try Retool free

Rate This Project

User Reviews

Be the first to post a review of smatch source matcher!

Additional Project Details

Operating Systems

BSD, Linux

Intended Audience

Developers

Programming Language

C, Perl, Python

Related Categories

Python Operating System Kernels, Perl Operating System Kernels, C Operating System Kernels

Registered

2002-06-26

Similar Business Software

CBT Nuggets

Learning IT doesn’t have to mean boring lectures, the frantic pace of bootcamps, or lots of time away from your job or family. With CBT Nuggets, you can train anytime, anywhere, at your own pace — all from the comfort of your office chair or living room couch. Our training team is made up of...

See Software
PathSolutions TotalView

PathSolutions TotalView network monitoring and troubleshooting software bridges the gap between NETWORK MONITORING and TROUBLESHOOTING RESOLUTION telling you WHEN, WHERE and WHY network errors occur. PathSolutions TotalView continuously monitors and tracks the performance of every device and...

See Software
netTerrain DCIM

netTerrain is an automated and interactive visual diagraming and reporting solution that renders real-word views of your entire IT ecosystem—from data centers to networks, fiber, and cloud. netTerrain's interactive maps and reports replace scattered documentation and guesswork with clarity: cut...

See Software
Proton VPN

Protect your business against damaging data breaches and easily comply with security frameworks like ISO 27001, GDPR, and HIPAA. Our software-only virtual private network easily integrates with your existing infrastructure to provide a flexible and scalable way to protect your...

See Software
Auth0

Auth0 takes a modern approach to Identity, providing secure access to any application, for any user. Safeguarding billions of login transactions each month, Auth0 delivers convenience, privacy, and security so customers can focus on innovation. Auth0 is part of Okta, The World’s Identity...

See Software
Shift

Shift is the first fully customizable browser that empowers you to make the most of your life online. Shift allows you to drag and drop apps, bars, and controls, to create a central hub that adapts to however you work. Sign into 1,500+ web apps, swap instantly between Spaces for work, side...

See Software