[vc_row row_type=”row” use_row_as_full_screen_section=”no” type=”grid” icon_pack=”font_awesome” content_menu_fe_icon=”arrow_back” text_align=”left” padding_top=”25″ padding_bottom=”65″][vc_column width=”1/1″][vc_row_inner row_type=”row” type=”grid” use_row_as_full_screen_section_slide=”no” text_align=”left” padding_bottom=”65″][vc_column_inner width=”1/2″][vc_column_text]

Goanna Studio

[/vc_column_text][vc_separator type=”normal” position=”center”][vc_column_text]Goanna Studio is our IDE version for developer focused static analysis, running tightly integrated in your development environment.[/vc_column_text][vc_separator type=”transparent” position=”center” up=”10″ down=”10″]Learn more ...[/vc_column_inner][vc_column_inner width=”1/2″][vc_column_text]

Goanna Central

[/vc_column_text][vc_separator type=”normal” position=”center”][vc_column_text]Goanna Central is our command line and server version for integrated quality and security analysis of C/C++ projects.[/vc_column_text][vc_separator type=”transparent” position=”center” up=”10″ down=”10″]Learn more ...[/vc_column_inner][/vc_row_inner][vc_row_inner row_type=”row” type=”grid” use_row_as_full_screen_section_slide=”no” text_align=”left” padding_bottom=”65″][vc_column_inner width=”1/2″][vc_column_text]

Integration

[/vc_column_text][vc_separator type=”normal” position=”center”][vc_column_text]Find out how to integrate the Goanna products in your daily development, QA and security processes.[/vc_column_text][vc_separator type=”transparent” position=”center” up=”10″ down=”10″]Learn more ...[/vc_column_inner][vc_column_inner width=”1/2″][vc_column_text]

Technology

[/vc_column_text][vc_separator type=”normal” position=”center”][vc_column_text]Goanna is based on formal verification technology such as model checking, abstract interpretation and SMT solving.[/vc_column_text][vc_separator type=”transparent” position=”center” up=”10″ down=”10″]Learn more ...[/vc_column_inner][/vc_row_inner][/vc_column][/vc_row]