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.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow C-logic

C-logic Web Site

Other Useful Business Software
Passwordless Authentication and Passwordless Security Icon
Passwordless Authentication and Passwordless Security

Identity is everything. Protect it with Duo.

It’s no secret — passwords can be a real headache, both for the people who use them and the people who manage them. Over time, we’ve created hundreds of passwords, it’s easy to lose track of them and they’re easily compromised. Fortunately, passwordless authentication is becoming a feasible reality for many businesses. Duo can help you get there.
Get a Free Trial
Rate This Project
Login To Rate This Project

User Reviews

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

Additional Project Details

Operating Systems

Linux, BSD

Intended Audience

Developers, Quality Engineers

Programming Language

C

Related Categories

C Security Software, C Computer-Aided Software Engineering (CASE) Software

Registered

2005-10-04