Develop and Download Open Source Software

Oink

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)

Oink is a collaboration of backends for the Elsa C
and C++ frontend. It aims to be
industrial-strength for immediate utility in
finding bugs, extensible for ease in adding
backends, and composable for ease in combining
existing ones. It computes expression-level and
type-level data flow, and statement-level
intra-procedural control flow (by delegating to
Elsa). It's easy to get started by using the two
demo backends that print graphs of these flows. It
also comes with a client of the data flow analysis
that does type qualifier inference: Cqual++, a
C/C++ frontend for Cqual. Whole-program analyses
may be attempted using the linker imitator.

No Japanese Translated Data
Japanese: