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

Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.

Start 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

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
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
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
Action1

Action1 is an autonomous endpoint management platform trusted by many Fortune 500 companies. Cloud-native, infinitely scalable, highly secure, and configurable in 5 minutes—it just works and is always free for the first 200 endpoints, with no functional limits. By pioneering autonomous OS and...

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
Device42

With customers across 70+ countries, organizations of all sizes rely on Device42 as the most trusted, advanced, and complete full-stack agentless discovery and dependency mapping platform for Hybrid IT. With access to information that perfectly mirrors the reality of what is on the network, IT...

See Software