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.