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 >

Categories

Security, Computer-Aided Software Engineering (CASE)

License

GNU General Public License version 2.0 (GPLv2)

Follow C-logic

C-logic Web Site

You Might Also Like
SKUDONET Open Source Load Balancer Icon
SKUDONET Open Source Load Balancer

Take advantage of Open Source Load Balancer to elevate your business security and IT infrastructure with a custom ADC Solution.

SKUDONET ADC, operates at the application layer, efficiently distributing network load and application load across multiple servers. This not only enhances the performance of your application but also ensures that your web servers can handle more traffic seamlessly.
Learn More
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
Report inappropriate content