packages: stanse/stanse.spec - R: make - R: gcc - Summary and description f...
pawelz
pawelz at pld-linux.org
Wed Oct 14 12:09:48 CEST 2009
Author: pawelz Date: Wed Oct 14 10:09:48 2009 GMT
Module: packages Tag: HEAD
---- Log message:
- R: make
- R: gcc
- Summary and description from project website. Please review pl translation.
---- Files affected:
packages/stanse:
stanse.spec (1.3 -> 1.4)
---- Diffs:
================================================================
Index: packages/stanse/stanse.spec
diff -u packages/stanse/stanse.spec:1.3 packages/stanse/stanse.spec:1.4
--- packages/stanse/stanse.spec:1.3 Wed Oct 14 10:13:29 2009
+++ packages/stanse/stanse.spec Wed Oct 14 12:09:42 2009
@@ -12,7 +12,8 @@
#
%include /usr/lib/rpm/macros.java
-Summary: stanse
+Summary: Error-finding tool based on static analysis
+Summary(pl.UTF-8): Narzędzie do znajdowania błędów na podstawie statycznej analizy kodu.
Name: stanse
Version: 1.0.0
Release: 0.1
@@ -31,11 +32,59 @@
BuildRequires: rpm >= 4.4.9-56
BuildRequires: rpm-javaprov
BuildRequires: rpmbuild(macros) >= 1.300
+Requires: gcc
+Requires: make
BuildArch: noarch
BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
%description
-stanse
+Stanse is an error-finding tool based on static analysis. The aim of
+this project is to research, evaluate and implement modern approaches
+to automatic bug finding for programs written in procedural languages
+related to C (C/C++/C#/Java). Currently this software tool is able to
+automatically discover some types of bugs in real-life sized projects
+(e.g. the Linux kernel).
+
+Its main features are:
+
+ - Target language is C (ANSI C99), but extensible to C#/C++/Java.
+ - Full ANSI C99 support, including most GNU C extensions.
+ - Modular structure, easy extensibility, fast development.
+ - Easy to use interface and error path inspection.
+ - Makefile support and batch execution.
+
+It is able to detect following kinds of errors:
+
+ - Memory allocation errors (null pointers, memory leaks, dangling
+ pointers)
+ - Bad locking discipline (double locks/unlocks, locks not released
+ etc.)
+ - Interrupt handling (cli/sti-style).
+ - And all the errors which can be described by state automata.
+
+%description -l pl.UTF-8
+Stanse jest narzędziem do znajdowania błędów w oprogramowaniu na
+podstawie statycznej analizy kodu. Celem projektu jest rozwijanie,
+ocena i implementacja nowoczesnych metod automatycznego znajdowania
+błędów w programach napisanych w językach proceduralnych pokrewnych C
+(C/C++/C#/Java). Narzędzie to jest w stanie automatycznie odkryć pewne
+rodzaje błędów w dużych projektach takich jak jądro systemu Linux.
+
+Główna cechy stanse, to:
+
+ - obsługa języka C (ANSI C99), rozszerzalna do C#/C++/Java
+ - pełne wsparcie ANSII C99, włączając większość rozszerzeń GNU C
+ - rozszerzalna, modularna struktura
+ - łatwy w użyciu interfejs
+ - wsparcie dla Makefile
+ - możliwość pracy nie interaktywnej
+
+Stanse jest w stanie wykryć następujące typy błędów:
+
+ - Błędy alokacji pamięci
+ - Błędy związane z blokadami
+ - Błędy obsługi przerwań
+ - Wszelkie błędy, które można opisać przy użyciu automatów skończonych
%package javadoc
Summary: Online manual for %{name}
@@ -117,6 +166,11 @@
All persons listed below can be reached at <cvs_login>@pld-linux.org
$Log$
+Revision 1.4 2009/10/14 10:09:42 pawelz
+- R: make
+- R: gcc
+- Summary and description from project website. Please review pl translation.
+
Revision 1.3 2009/10/14 08:13:29 pawelz
- install bundled jars in _datadir, not in _javadir (they are not intended to
be used by other apps)
================================================================
---- CVS-web:
http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/stanse/stanse.spec?r1=1.3&r2=1.4&f=u
More information about the pld-cvs-commit
mailing list