@MSGID: 2:5015/46 69dbfc0f
@REPLY: 2:5030/723 69db6ef1
@CHRS: CP866 2
@TZUTC: 0300
@TID: hpt/lnx 1.9
Hello, Alexey!

Sunday April 12 2026 12:58, from Alexey Khromov -> Nil A:

 AK> Не, грепит по паттернам только lint. Другие анализаторы минимально
 AK> отслеживают граф переходов. Это зависит от глубины погружения
 AK> анализатора в код. Отслеживание потоков выполнения вроде есть в
 AK> PVS-Studio.

 Да, ты описываешь работу статических анализаторов. В Си/Си++ можно
передавать указатели как-то хитро, в разных структурках, с кастами, и
статические анализаторы потеряют это. Короче да, ловят но только какие-то классы
ошибок. Приходится гонять ASan и TSan билды.

Best Regards, Nil
--- GoldED+/LNX 1.1.5-b20260305
 * Origin: Gemini can make mistakes, so double-check it (2:5015/46)
SEEN-BY: 50/109 104/117 221/6 240/1120 301/1 341/66
451/31 452/28 166 455/19
SEEN-BY: 463/68 4500/1 5000/111 5015/42 46 120 255
519 5019/40 400 5020/113
SEEN-BY: 5020/545 620 715 828 830 846 848 1042
2992 4441 12000 5022/128
SEEN-BY: 5030/49 115 1081 1474 5053/51 55 5054/89
5058/104 5060/900 5061/133
SEEN-BY: 5066/18 5068/45 5083/444 6090/1
@PATH: 5015/46 5020/1042 4441