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
EBizCharge Payment Platform for Accounts Receivable Icon
EBizCharge Payment Platform for Accounts Receivable

Getting paid has never been easier.

Don’t let unpaid invoices limit your business’s growth. EBizCharge plugs directly into the tools your business already uses to speed up payment collection.
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