Java Constraint Solver API v0.2.1 has been released. The following things have been done:

• support of parametric operations has been added
• support of ternary operations has been added
• support of user-defined objects and operations in constraint tree has been added
• several bugs have been fixed

The library can be downloaded from the page http://forge.ispras.ru/projects/solver-api/files

We will make a presentation 'MicroTESK: An Extendable Framework for Test Program Generation' at the Spring/Summer Young Researchers' Colloquim on Software Engineering (SYRCoSE). The event will take place on May 30-31 in Kazan, Russia.

SYRCoSE is a colloquium on software engineering targeted at young researchers (students, postgraduates, young PhD specialists, etc.). The main goal of the colloquium is to help young specialists to meet each other, to get more information on work of their colleagues, to exchange their experience, and to practice in presenting their results at international conferences and workshops. Read more...

Java Constraint Solver API v0.1.1 has been released. The following things have been done:

• Constraints creating (in the form of abstract syntax trees)
• Constraints mapping to the SMT-LIB description (in this version only binary operations are supported)
• Constraints storing in external memory (as XML files)
• Z3 solver launching and transferring results back to Java

The library can be downloaded from the page http://forge.ispras.ru/projects/solver-api/files

The MicroTESK tool will be presented at the University Booth exhibition of the DATE 2013 conference - one of the biggest European events for electronic system design and test. The conference & exhibition will take place on March 18-21 in Grenoble, France.

DATE, the Design, Automation and Test Conference and Exhibition, is the unique European event bringing together researchers together researchers, users and vendors as well as specialists in design, test and manufacturing of electronic circuits and systems. The University Booth is a part of the DATE program. It is sponsored by the DATE Sponsor Society, by the European Design and Automation Association, the EDA Consortium, the IEEE Computer Society – TTTC and CEDA, ECSI, ACM SIGDA, and the Russian Academy of Sciences. Read more...

_{Pictures of DATE 2013}

Уважаемые коллеги!
Redmine обновился до версии 2.1.6, которая использует rails 3.2.11
В rails предыдущих версий найдена критическая уязвимость.
Нет никаких свидетельств, что уязвимость эксплуатировалась на этом сайте.

C++TESK Testing ToolKit v1.0.21 has been released. The following things have been done.

• Process table and scheduler have been refactored
• Buffering of implementation reactions has been implemented
• Support of pipelined implementation reactions has been added
• Experimental facilities for FSM description have been included
• Failure diagnostics has been improved

The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.

Bugless New Year!

Реализована возможность органичения доступа к директориям, доступным через браузер (например, апдейт-сайтам закрытых проектов).
Для этого в самой директории или в любой из родительских директорий следует добавить в файл .htaccess идентификатор проекта:

RedmineProject _projectid_

Файлы из этой директории будут доступны только членам проекта projectid с правом просмотра репозитория.

You may download sources and binaries on the Files page of the BLAST project. See also the original project page.

Release notes¶

This version fixes a couple of bugs exposed at the Competition on Software Verification at TACAS'12. We advise you to use 2.7.1 instead of 2.7.

Analysis¶

• Fix bug that all undefined local variables, such as int __VERIFIER_nondet_int() { int val; return val; }, were treated as equal in all calls of a function.

Infrastructure improvements¶

• Binary builds are now compatible with RHEL 5.

Уважаемые коллеги!
Проект forge.ispras.ru переехал на новый сервер.
Redmine обновился до версии 2.1.2. Все плагины для начала отключены.
Просьба сообщать об обнаруженных проблемах.

KEDR is an extensible system for dynamic analysis of Linux kernel modules (device drivers, file system modules, etc.). KEDR tools operate on the modules chosen by the user and can detect memory leaks, perform fault simulation and more.

This release provides several enhancements and various fixes compared to version 0.3. The most significant changes in this version:

• KEDR now supports kernel versions 3.3-3.6.
• LeakCheck has been redesigned: the analysis engine has been separated from data collection which makes the tool easier to maintain and to extend. The API it provides allows to use the memory leak detector in more cases than before.
• Handling of the information about signatures of the processed functions has been revisited to remove duplicate code and make the components involved easier to configure and to maintain.
• 12 more functions that allocate or deallocate memory are now processed, so are the functions kfree_rcu() expands to.
• Many fixes have been made in LeakCheck, fault simulation and other subsystems.
• Support for kernel version 2.6.31 has been dropped. The minimum supported kernel version is now 2.6.32.