Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Goanna

Known as: Goanna (disambiguation) 
Goanna is a fork of the Netscape/Mozilla-sourced Gecko engine, and shares many of its features. It is designed to support open Internet standards… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2014
Review
2014
Adapting tools to a particular domain is expensive, and the adaptation is often not very deep. To address this challenge, Generic… Expand
  • figure 3.1
  • figure 3.2
  • figure 3.8
  • figure 3.9
  • figure 3.10
2012
2012
  • R. K. McLean
  • IEEE Sixth International Conference on Software…
  • 2012
  • Corpus ID: 12453538
Software vulnerabilities present a significant impediment to the safe operation of many computer applications, both proprietary… Expand
  • table I
  • table III
  • table II
  • figure 1
  • figure 2
2010
2010
In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
2010
2010
Adaptive systems are often composed of distributed components that co-operate in order to achieve a global behaviour, and yet… Expand
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 8
2009
2009
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike… Expand
  • figure 2
  • figure 4
  • figure 5
  • figure 6
  • table 1
2008
2008
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike… Expand
  • figure 1
2007
2007
Abstract Rosenberg's goanna, Varanus rosenbergi, is listed as ‘Vulnerable’ in New South Wales, but it is not currently listed… Expand
2006
2006
In this work we present Goanna, the first tool that uses an off-the-shelf model checker for the static analysis of C/C++ source… Expand
  • figure 1
1998
1998
Meanwhile at the International Commission of Zoological Nomenclature (ICZN) and elsewhere the battle to ‘legally’ resurrect the… Expand
1981
1981
Goannas are a part of Australian folklore as they were important to Aboriginal Australians who had specific rituals connected to… Expand