Add a Review
1 Download (This Week)
Last Update:
Download clogic-2.1.25.tgz
Browse All Files
BSD Linux


This is a C source code scanner based on symbolic logic. It analyses C source code (especially that of the Linux kernel, at which it is aimed) for programming errors and vulnerabilities. The tests are defined by the user.

C-logic Web Site

Update Notifications

Write a Review

User Reviews

Be the first to post a review of C-logic!

Additional Project Details

Intended Audience

Developers, Quality Engineers

Programming Language



Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.