상단 소프트웨어 에 Venkatesh Prasad Ranganath

인더스 프로그램 분석과 자바로 구현 변형이 정의 및 Java 프로그램을 적응의 콜렉션을 제공하기위한 노력이다. 인더스을위한 우산 역할을하기위한 것입니다 :* 포인트 - 투 분석, 분석을 탈출 정적이 같은 분석하고, 의존성 분석,이러한 프로그램 슬라이싱과 부분적인 평가를 통해 프로그램의 전문화, 그리고 * 변환* 이클립스 같은 특정 Bandera과 같은 응용 프로그램이나 플랫폼에 분석 / 변환을 제공하는 소프트웨어 모듈.현재, 인더스의 일부 (3) 모듈이...