Рассказ о истории и использовании в реальной жизни инструментов анализа кода на основе JavaChecker и TermWare Сопустствующий текст: http://datacenter.gradsoft.ua/files/articles/OSDN2011/

1. Анализ кода: почему это интересно и когда это нужно Руслан Шевченко ГрадСофт http://www.gradsoft.ua

7. d(x*y) = d(x)*y + d(y)*x

9. Алгортимы Цейтлина ==> исполняемый код

10. трансляция алгоритмов С => NUMA графическом ускорителе

11. Java =>

12. Java => Java

13. 6 лет, около 20 публикаций

15. Понимание

16. Верификация

17. JavaChecker this.x = x

19. BT_TYPE_RULESET,

20. ruleset(

21. Catch($x,Block(NIL))

22. -> true [ violationDiscovered(EmptyCatchBlock,"empty catch block",$x) ]

23. ),

24. true

25. ),

27. $x!=NullLiteral() && $y!=NullLiteral()

28. &&

29. !car($ctx.getExpressionModel().getSubExpressions()) .getType().isPrimitiveType()

30. &&

31. !car($ctx.getExpressionModel().getSubExpressions()).getType().isEnum()

32. &&

33. !car(cdr($ctx.getExpressionModel().getSubExpressions())) .getType().isPrimitiveType()

34. &&

35. !car($ctx.getExpressionModel().getSubExpressions()) .getType().isEnum()

36. ] -> true

37. [ violationDiscovered(ObjectComparisonWithEquality,

38. "object compared by == or !=", s($x,$y)) ]

39. !-> false

40. Что дальше

44. Разбиение на подсистемы Анализ связности

46. Какие части нуждаются во внимании

51. Для каждого предложения посчитано к-ство мест, которые будут выглядеть лучше

53. CollectionLiterals (collection literals can be applied): 35

54. DiamondInitializers (initializers with allocation and type arguments): 1499

55. DiamondInitializers_percents (per all variable initializers): 1.071503

56. Elvis (Elvis and Other Null-Safe Operators): 821

57. Elvis_percents (per if-s and conditions): 2.330136

58. MultiCatch (multi catch): 412

59. MultiCatch_percents (per all catchs): 4.898347

60. NewIntegerLiterals (New Integer Literals): 7131

61. NewIntegerLiterals_percents (per all integer literal): 5.848821

62. StringInSwitch (string in switch): 444

65. Преобразование кода/пример void main(String[] args) { if (CompileTimeConstance.DEBUG) { System.out.println(“debug”); } System.out.println(“Hello, world”); }

67. Разная функциональность в одном коде (Free/Pro)

70. Автоматный матчинг

72. Нужна эволюция

73. TermWare/анализ (2 направления)

75. (специализированный консалтинг)

77. Http://www.gradsoft.ua

78. @rssh1

79. #OSDN