Showing results 1 to 2 of 2
Stacked Borrows: An Aliasing Model for Rust Jung, Ralf; Dang, Hoang-Hai; Kang, Jeehoon; Dreyer, Derek, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01 |
요약된 주소값 기반 메모리 분석 기법 및 이를 이용한 EVM 바이트코드 분석 박지희; 류석영, 정보과학회 컴퓨팅의 실제 논문지, v.26, no.4, pp.217 - 222, 2020-04 |
Discover