RUS
ENG
Full version
PEOPLE
Sidorin A. V.
Publications in Math-Net.Ru
Summary-based method of implementing arbitrary context-sensitive checks for source-based analysis via symbolic execution
Proceedings of ISP RAS
,
28
:1 (2016),
41–62
©
Steklov Math. Inst. of RAS
, 2024
