JARVIS는 Python 프로그램의 확장 가능하고 정확한 애플리케이션 중심 호출 그래프를 구축한다. JARVIS는 함수 수준의 타입 추론을 통해 흐름에 민감한 분석을 수행하고, Python의 언어 기능을 더 잘 지원한다.