About Goanna
- What is Goanna?
- What kind of bugs does Goanna detect?
- What about false positives?
- What is the run-time behavior of Goanna?
- What kind of technology does Goanna use?
- Does Goanna require the source code?
- Is a full working build required?
- Can I run Goanna on single files?
- Which languages are supported?
- Do you support Java/C#/.NET?
- Which operating systems are supported?
- Which version of Microsoft Windows are supported?
- Which flavors of Linux are supported?
- Do you support Mac OS?
- Does Goanna work on my 64-bit machine?
- Do you support other operating systems?
- Does Goanna for Windows require Visual Studio?
- Can I use Goanna with Visual Studio Express?
- Does Goanna for Linux require Eclipse?
- Do you support other IDEs?
- Can I run Goanna from the command line?
Licensing and ordering
- What kind of license do you offer?
- Does a license include updates and maintenance?
- Which features are used in the trial license?
- How do I purchase a license?
- Do you have volume discounts?
- Why do I have to activate a license?
- Can I move a once activated license between machines?
Support and training
- Where is the manual?
- Does a license include support?
- What is the turnaround time for support issues?
- I have a special request. Can you help me?
- Can you add a check for me?
- I think I found a bug in Goanna. What shall I do?
- Where can I ask questions?
- Do you provide training?
Feedback
- Can I give you guys feedback?
- Can you put my company logo on your website?
- I found this crazy bug in my software ...
About Goanna
Q: What is Goanna?
Goanna is an industry leading static analysis tool detecting a wide range of bugs, vulnerabilities and general deficiencies in C/C++ source code. Goanna is tightly integrated in Visual Studio (Windows) and Eclipse (Linux).
Q: What kind of bugs does Goanna detect?
Goanna checks for a wide range of otherwise often hard to find C/C++ issues such as buffer overflows, memory leaks, and null pointer dereferences. The full list of checks can be found in the user manual.
Q: What about false positives?
We are using industry leading model checking techniques to keep false positives as low as possible. Typically, only a small number of issues detected are false positives. Moreover, you can select and deselect individual checks tailoring the analysis more to your requirements.
Q: What is the run-time behavior of Goanna?
Goanna has been designed with speed and scalability in mind while minimizing memory and computation requirements. Typically, Goanna runs only a few times slower than the compiler, yet providing deep analysis capabilities.
Q: What kind of technology does Goanna use?
Red Lizard Software is a spin-out company of NICTA, Australia's dedicated ICT research center of excellence. The Goanna technology has been developed by a team of NICTA researchers since 2005.
Goanna uses many different techniques, including model checking and constraint solving. Both techniques have been further developed and refined to make them applicable to source code analysis, creating an industry leading static analysis solution.
The original inventors of the model checking technologies received the Turing Award (computer science's equivalent to the Nobel Prize) in 2008.
Q: Does Goanna require the source code?
Goanna is a source code analyzer and as such can only analyze parts of a project that have the source code. Having said that, it is *not* necessary that the full source code is available. As long as the project can compile (note: the project does not have to fully build) Goanna can analyze the code and increase your code confidence.
Q: Is a full working build required?
No, Goanna can be run on a project or even file level. The code must be syntactically correct though.
Q: Can I run Goanna on single files?
Yes, Goanna enables you to check files individually. You can also run Goanna on a complete project or a solution.
Q: Which languages are supported?
We currently support full C and C++.
Q: Do you support Java/C#/.NET?
No, not at this time. However, you can
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
and we will keep you updated on this.
Q: Which operating systems are supported?
We support both Microsoft Windows and Linux for more details see below.
Q: Which version of Microsoft Windows are supported?
We aim to support
- Windows XP
- Windows Vista (all editions)
- Windows 7 (all editions)
Note: To use Goanna on Windows it is required that you use it with
- Visual Studio 2005 (standard/professional/team) or
- Visual Studio 2008 (standard/professional/team) or
- Visual Studio 2010 (standard/professional/team)
Q: Which flavors of Linux are supported?
We aim to support most recent Linux distributions including
- Ubuntu
- Fedora
- Suse
- CentOS
Note: To use Goanna on Linux it is required that you use it with
- Eclipse (3.4 or higher)
- CDT (4.0 or higher)
- gcc (4.4 or lower)
Q: Do you support Mac OS?
No, not at this time. However, you can
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
and we will keep you updated on this.
Q: Does Goanna work on my 64-bit machine?
We aim to support 64-bit machines.
Q: Do you support other operating systems?
Not at this stage. If you have different requirements please
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
.
Q: Does Goanna for Windows require Visual Studio?
Yes, we currently support:
- Visual Studio 2005 in the following editions:
- standard
- professional
- team
- Visual Studio 2008 in the following editions:
- standard
- professional
- team
Visual Studio 2010 support will be available closer to its official release date.
Q: Can I use Goanna with Visual Studio Express?
No, as Visual Studio Express does not allow for extensions.
Q: Does Goanna for Linux require Eclipse?
Yes, we are aiming at supporting:
- Eclipse (3.4 or higher) with
- CDT (4.0 or higher)
- gcc (4.4 or lower)
Q: Do you support other IDEs?
No, not at the current stage. If you require to do so please
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
.
Q: Can I run Goanna from the command line?
We have recently released a beta version of Goanna for a Linux command line. Visit our Downloads page for a free 30-day trial.
Licensing and ordering
Q: What kind of license do you offer?We offer per-machine licenses that are valid for 12 months.
Q: Does a license include updates and maintenance?
Each license entitles you to all maintenance and update releases within the same major version.
Q: Which features are used in the trial license?
The trial license is fully featured, but time limited to 30 days.
Q: How do I purchase a license?
- Register with Red Lizard Software
- Select the type of licenses and the number of licenses at: http://redlizards.com/purchase.html
- Purchase through our secure Paypal gateway
- Activate your license.
Q: Do you have volume discounts?
We provide some flexibility if you would like to purchase large volumes of licenses. Please This e-mail address is being protected from spambots. You need JavaScript enabled to view it directly.
Q: Why do I have to activate a license?
License activation locks Goanna to the machine of your choice.
Q: Can I move a once activated license between machines?
No. However, should you require it, please This e-mail address is being protected from spambots. You need JavaScript enabled to view it .
Support and training
Q: Where is the manual?Here: http://redlizards.com/support/manuals.html
Q: Does a license include support?
Yes, we strive to provide support for reasonable issues.
Q: What is the turnaround time for support issues?
Typically, we get back to you the next working day. Obviously, the solution will depend on your questions and the issues you have.
Q: I have a special request. Can you help me?
For non-standard support issues please This e-mail address is being protected from spambots. You need JavaScript enabled to view it directly.
Q: Can you add a check for me?
Please This e-mail address is being protected from spambots. You need JavaScript enabled to view it or use the online forum to suggest a new check. We are more than happy to learn about ways to improve Goanna.
If a check is specific to your project or environment we might arrange a solution, but typically we prioritize by checks that are valuable to many customers.
Q: I think I found a bug in Goanna. What shall I do?
Please contact us. This is most valuable to us in order to continuously improve Goanna.
Q: Where can I ask questions?
You can This e-mail address is being protected from spambots. You need JavaScript enabled to view it or even better use the online forum or blog section, depending on your preferences.
Q: Do you provide training?
We will continue to provide online training as webcasts or webinars. Some information can be found at
http://redlizards.com/product/screencasts.html
Should you require individual or group training, please This e-mail address is being protected from spambots. You need JavaScript enabled to view it .
Feedback
Q: Can I give you guys feedback?Sure, you are more than welcome. The good, the bad and the ugly.
Q: Can you put my company logo on your website?
If you are a Goanna user and would like to share your story we can include you in our customer and partner list.
Q: I found this crazy bug in my software ...
Let us know, we like to hear you success stories!
