Java Static Analysis Tool analyzes the source code only without the compiler build step and verifies it with advanced inter-procedural path analysis(feasible path, call, return) to check Reliability(coding guide), Safety(run-time error), Security(security vulnerability), and Code Metrics(code complexity).

Recently, automotive embedded software such as autonomous and shared services to be installed in future automobiles require the software dependability for electric vehicles to be covered reliability and security. Therefore, the required information security service (confidentiality, integrity, availability, authentication) in automotive embedded software is required essential in the coding stage.