Develop and Download Open Source Software

cqual

We call for your help with the Japanese translations for project summaries. The submitted translations will be posted after simple evaluation. (Not only the translation itself is going to be checked, but we also make sure it's clear of wiki format problems. Especially problems that are related to the layout, such as line breaks and links, will be checked, so please give heed. When there appears to be a problem with the translation itself or the layout, we may not be able to post your translation. We often see problematic cases related to links. When there's going to be a line of Japanese text right after the URL, please make sure to leave a space to separate.) Also, even with projects that may already have their summaries translated, if you find an outdated translation or typographical errors, please update. Login to start translating. When you are done, you will find your name at the bottom of the summary as the translator.

You are not Logged in. If you submit this translation, your name will not show on the this project page (will be logged as "translated by an anonymous user").

Project Description:

English:
(Last Update 2009-06-12 13:59)

cqual is a typed-based analysis tool for finding bugs in C programs. It extends the type system of C with extra user-defined type qualifiers. The programmer annotates their program with the appropriate qualifiers, and cqual checks for errors. Incorrect annotations indicate potential bugs. cqual presents the analysis results using Program Analysis Mode, an emacs-based GUI. Among other applications, cqual can be used to detect potential format-string vulnerabilities and to detect user-space/kernel-space pointer errors.

No Japanese Translated Data
Japanese: