Анализ Data Flow (потоков данных) - технология анализа исходного кода программ, широко используемая в различных development tools: компиляторах, линтерах, IDE. Мы поговорим о нём на примере разработки статического анализатора. Рассмотрим классификацию и различные виды Data Flow анализа, смежные технологии, взаимодополняющие друг друга и проблемы, возникающие при его разработке, и сюрпризы, которые нам преподносит C++, когда мы пытаемся его проанализировать. В ходе доклада мы разберём несколько ошибок, найденных в реальных проектах с помощью этой технологии.

1. / 601

2. / 602

3. / 603

4. / 604

5. / 605

6. / 606

7. / 607

8. / 608

9. / 609

10. / 6010

11. / 6011

12. / 6012

13. / 6013

14. / 6014

15. / 6015

16. / 6016

17. / 6017

18. / 6018

19. / 6019

20. / 6020

21. / 6021

22. / 6022

23. / 6023

24. / 6024

25. / 6025

26. / 6026

27. / 6027

28. / 6028

29. / 6029

30. / 6030

31. / 6031

32. / 6032

33. / 6033

34. / 6034

35. / 6035

36. / 6036

37. / 6037

38. / 6038

39. / 6039

40. / 6040

41. / 6041

42. / 6042

43. / 6043

44. / 6044

45. / 6045

46. / 6046

47. / 6047

48. / 6048

49. / 6049

50. / 6050