하위 분류 이 분류에는 하위 분류 1개만이 속해 있습니다. A Abstract interpretation (4개 문서) "프로그램 분석" 분류에 속하는 문서 다음은 이 분류에 속하는 문서 7개 가운데 7개입니다. A Anderson algorithmC Context sensitive algorithmD Dynamic program analysisF Field sensitive algorithmS Steensgaard's algorithmT Taint analysisㄱ 갈루아 대응