2009-04-04: Announcing the find_marks program

Tidorum Ltd announces the first public version (v1) of the program find_marks, an auxiliary program to be used with Bound-T.

This is a program that finds the positions of "marks" in source-code files. The marker names can then be used in Bound-T assertions to identify the program parts (loops, calls) to which the assertions apply.

The find_marks program is distributed under the GNU Public Licence (GPL).

To find out more about find_marks, or to download the program in source code or binary form, visit the Tidorum download pages.


Valid HTML 4.01 Transitional