Corensic has launched its analysis tool for multithreaded programs. Jinx
1.5 to critical race conditions (data races), and generally failed
multithreaded applications - can make - especially its causes. These
changes Jinx the order in which individual threads access the shared
memory and analyze what changes resulted from this.
So let those bugs can reveal that occur during normal operation of an
application only irregularly. Jinx has identified an error, the
application being tested stopped and froze their status, enabling
developers to analyze the causes alone.
Jinx is able, among other errors in the propositional logic, null
pointer dereference, documenting general protection faults and also to
just race conditions. Jinx with 1.5 to be able to be recognized for the
first time Data Races in kernel-mode software.
Jinx is available as a Visual Studio extension for Windows and as a tool
for the command line on Linux as a 14-day trial version available for
download, full version Corensic offers for 1.999 U.S. dollars per user.
Upon request, additional licensing options (including for test labs, or
multi-user applications) are offered.
No comments:
Post a Comment