366:
48:
22:
203:
613:
36:
286:
94:
77:
608:
618:
521:
230:
111:
555:
136:
82:
395:
454:
99:
486:
252:
131:
501:
491:
349:
198:
17:
410:
354:
60:
602:
577:
543:
511:
506:
538:
420:
310:
274:
166:
121:
496:
437:
415:
298:
176:
151:
146:
116:
572:
567:
526:
405:
390:
337:
247:
242:
220:
171:
161:
141:
481:
471:
400:
378:
257:
181:
516:
476:
442:
425:
320:
315:
225:
215:
186:
156:
72:
589:
325:
262:
126:
459:
35:
The following 77 pages are in this category, out of 77 total.
32:Pages in category "Static program analysis tools"
8:
37:This list may not reflect recent changes
367:MALPAS Software Static Analysis Toolset
49:List of tools for static code analysis
23:List of tools for static code analysis
7:
204:DMS Software Reengineering Toolkit
41:
29:
14:
1:
287:Hermes (programming language)
95:Bauhaus Project (computing)
635:
16:The main article for this
15:
522:Splint (programming tool)
231:Extended static checking
78:Astrée (static analysis)
614:Static program analysis
112:C Bounded Model Checker
556:Understand (software)
137:Coccinelle (software)
83:Automated code review
455:Red Lizard Software
100:BLAST model checker
487:SofCheck Inspector
396:Parasoft C/C++test
609:Programming tools
626:
619:Software quality
253:Fortify Software
132:Coala (software)
634:
633:
629:
628:
627:
625:
624:
623:
599:
598:
597:
596:
595:
594:
582:
560:
548:
531:
502:Soot (software)
492:Software mining
464:
447:
430:
383:
371:
359:
350:Lint (software)
342:
330:
303:
291:
279:
267:
235:
208:
199:Daikon (system)
191:
104:
87:
65:
53:
28:
27:
12:
11:
5:
632:
630:
622:
621:
616:
611:
601:
600:
593:
592:
586:
583:
581:
580:
575:
570:
564:
561:
559:
558:
552:
549:
547:
546:
541:
535:
532:
530:
529:
524:
519:
514:
509:
504:
499:
494:
489:
484:
479:
474:
468:
465:
463:
462:
457:
451:
448:
446:
445:
440:
434:
431:
429:
428:
423:
418:
413:
411:PMD (software)
408:
403:
398:
393:
387:
384:
382:
381:
375:
372:
370:
369:
363:
360:
358:
357:
355:Liquid Haskell
352:
346:
343:
341:
340:
334:
331:
329:
328:
323:
318:
313:
307:
304:
302:
301:
295:
292:
290:
289:
283:
280:
278:
277:
271:
268:
266:
265:
260:
255:
250:
245:
239:
236:
234:
233:
228:
223:
218:
212:
209:
207:
206:
201:
195:
192:
190:
189:
184:
179:
174:
169:
164:
159:
154:
149:
144:
139:
134:
129:
124:
119:
114:
108:
105:
103:
102:
97:
91:
88:
86:
85:
80:
75:
69:
66:
64:
63:
61:.NET Reflector
57:
54:
52:
51:
45:
43:
42:
33:
30:
13:
10:
9:
6:
4:
3:
2:
631:
620:
617:
615:
612:
610:
607:
606:
604:
591:
588:
587:
584:
579:
578:Visual Expert
576:
574:
571:
569:
566:
565:
562:
557:
554:
553:
550:
545:
542:
540:
537:
536:
533:
528:
525:
523:
520:
518:
515:
513:
510:
508:
505:
503:
500:
498:
495:
493:
490:
488:
485:
483:
480:
478:
475:
473:
470:
469:
466:
461:
458:
456:
453:
452:
449:
444:
441:
439:
436:
435:
432:
427:
424:
422:
419:
417:
414:
412:
409:
407:
404:
402:
399:
397:
394:
392:
389:
388:
385:
380:
377:
376:
373:
368:
365:
364:
361:
356:
353:
351:
348:
347:
344:
339:
336:
335:
332:
327:
324:
322:
319:
317:
314:
312:
309:
308:
305:
300:
297:
296:
293:
288:
285:
284:
281:
276:
273:
272:
269:
264:
261:
259:
256:
254:
251:
249:
246:
244:
241:
240:
237:
232:
229:
227:
224:
222:
219:
217:
214:
213:
210:
205:
202:
200:
197:
196:
193:
188:
185:
183:
180:
178:
175:
173:
170:
168:
165:
163:
160:
158:
155:
153:
150:
148:
145:
143:
140:
138:
135:
133:
130:
128:
125:
123:
120:
118:
115:
113:
110:
109:
106:
101:
98:
96:
93:
92:
89:
84:
81:
79:
76:
74:
71:
70:
67:
62:
59:
58:
55:
50:
47:
46:
44:
40:
38:
31:
25:
24:
19:
544:TippingPoint
34:
21:
512:Sourcetrail
507:SourceMeter
603:Categories
539:ThreadSafe
421:PVS-Studio
311:JArchitect
275:GrammaTech
167:CPAchecker
122:Checkstyle
497:SonarQube
438:Helix QAC
416:Polyspace
299:Imagix 4D
177:Cppdepend
152:CodeSonar
147:CodeScene
117:Checkmarx
573:VeriFlux
568:Veracode
527:StyleCop
406:PerlTidy
391:Parasoft
338:Klocwork
248:Fluctuat
243:FindBugs
221:ESC/Java
172:Cppcheck
162:Coverity
142:CodePeer
18:category
482:SOAtest
472:Semgrep
401:PC-Lint
379:NDepend
258:Frama-C
182:Cpplint
517:Sparse
477:Semmle
443:Qodana
426:Pylint
321:JSLint
316:JSHint
226:ESLint
216:ECLAIR
187:Cscope
157:ConQAT
73:AbsInt
590:Yasca
326:Jtest
263:FxCop
127:Clang
460:RIPS
20:is
605::
39:.
585:Y
563:V
551:U
534:T
467:S
450:R
433:Q
386:P
374:N
362:M
345:L
333:K
306:J
294:I
282:H
270:G
238:F
211:E
194:D
107:C
90:B
68:A
56:.
26:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.