| Cslint Deadlock-detector voor CSHARP Multithreaded-toepassingen |
Download nu |
Cslint Rangschikking & Samenvatting
- Besturingssystemen:
- Windows XP/2000/98
Cslint Tags
Cslint Beschrijving
Dit is deadlock-detector voor CSHARP-programma's. Het bouwt vergrendelingsgrafiek voor de applicatie en zoekt lussen erin. Cslint Analyseert momenteel alleen monitoren die zijn toegekend via klassenvelden (d.w.z. lock (x) waar X is Component van sommige klasse) en die waarde van dergelijke velden kan nooit worden gewijzigd. Om het te gebruiken, moet u in uw PATH-omgeving variabele opnemen \ Cslint \ bin directory. Nadat het net "Cslint-montage-pad" is uitgevoerd. Dit product is een haven van mijn Java-verifier Jlint to Csharp. Alleen het meest interessante deel van deze verificateur (impasse detectiealgoritme) is momenteel geporteerd. Cslint gebruikt illeaderbibliotheek geïmplementeerd door Lutz Roeder (http://www.aisto.com/roeder/dotnet) voor toegang tot de IL-bytecode. Helaas heeft ik geen manier gevonden om toegang te krijgen tot foutopsporingsinformatie (lijnnummers en bestandsbron pad voor de klas). Dus cslint is niet in staat om precies punt te plaatsen In de bronnen waar deadlock plaatsvindt. Op dit moment meldt het gewoon klasse en methode namen en naam van vergrendelde monitor. Als iemand het probleem kan oplossen, zal dan Wees blij om je suggesties te krijgen. Zoek nieuwe versies op mijn startpagina: www.garret.ru/~kniznik Stuur me alsjeblieft mails met vragen, bugrapporten en suggesties op knizhnik@garret.ru
Cslint Gerelateerde software