0
) 컴파일러 인프라 프레임 워크 인 Soot를 사용하여 Java 용 Andersen의 포인터 분석을 작성하는 데 관심이 있습니다. 다음은이 분야의 논문입니다. Java에 대한이 분석을 시작하고 프로그래밍하기위한 적절한 접근법을 확인할 수 없습니다. 아무도 이것으로 나를 도울 수 있습니까?Andersen의 포인터 분석 (
효율적인 포용 기반의 포인트 - 투 분석 엄격하게 형식화 된 언어 http://suif.stanford.edu/~jwhaley/papers/sas02.pdf
C 프로그래밍 언어에 대한 프로그램 분석 및 전문화 (원래 안데르센의 분석 논문) 자바에 대한 http://www.cs.cornell.edu/courses/cs711/2005fa/papers/andersen-thesis94.pdf
포인트 - 투 : 일반적인 프레임 워크와 경험적 비교 https://pp.info.uni-karlsruhe.de/uploads/publikationen/streckenbach00tr.pdf
스케일링 Java 포인트 - 투 - 스파크를 사용하여 분석 https://plg.uwaterloo.ca/~olhotak/pubs/sable-tr-2002-9.pdf
포인트 - 투 분석 자바 것이 그을음에 이미
그러나 목표는 그것을 만드는 것입니다. 이미 제공된 것을 사용하지 마십시오. –