TECHNICAL DOCUMENTATION
Welcome to JuliaSoft Technical resources area! On this page you can find different resources to help you start using and making the most of JuliaSoft solutions.
TRAINING
If you are new to using Julia, we recommend that you follow our short basic training course, which helps you get started using the Julia Analyzer without hiccups. Further down the page you can also find user manuals and other detailed reference material.
Even if you are an experienced code analyzer user, it is useful to browse through the course and take a look at the analysis settings, configuration options and specific examples to make sure you get the most of the Julia analysis.
The course is aimed at explaining the main features, solutions, and components of the Julia Static Analyzer. It is divided in four parts:
- Section “Fundamentals” introduces some background about Julia, static analysis, and the Software Development Life Cycle.
- Section “In Action” presents the different components of Julia architecture and a tutorial to get started on how to run an analysis with Julia.
- Section “Solution Suite” describes how Julia can be applied to different scenarios and to tackle different types of software issues.
- Section “Main Components” provides some specific tutorials of the main components (e.g., shell client and IDE plugins) of the Julia static analyzer.
The basic elements of Julia Training are available to all our customers, please contact your JuliaSoft Account Manager to receive your credentials to access the course environment. If you are interested in obtaining a Julia Certification, there are additional contents you will need to attend, plus a final exam. For further information and pricing of the Certification course, don’t hesitate to contact us.
USER MANUALS

Eclipse plugin manual

Visual Studio extension manual

JuliaSoft portal service manual

Reference Manual

IntelliJ IDEA plugin manual
REFERENCE MATERIAL

Complete list of Julia Checkers

Complete list of Julia Warnings

Injection sources and sinks
