New customers can spin up VMs, build with AI, and query data at no cost.
Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Start Free
Build Securely on AWS with Proven Frameworks
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
JavaCET is an API wrote in Java that allows to analyze Java source code and libraries, and control its execution and its trace in an integrated and comprehensible object-oriented way. It allows backwards execution.
AVRsimu is a simulator for Atmel AVR microcontrollers. It has a command line interface, graphical interfaces may follow. AVRsimu aims to be small and portable.
Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.
Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
Java Class and Byte Code verifier. Verifies static class file structure, external references, analyzes operand stack and local variables through byte code execution emulation. Includes CLDC standard verfication.
gtracer traces gsignal's `connect', `emit', `disconnect' and `callback invocations' in gtk application, and about `connect', `emit' and `disconnect', backtracing of function calls is also provided.
Prolint is a tool for automated source code review of Progress 4GL code. Prolint can enforce company coding standards and finds sloppy code and code that may perform differently than how the programmer intended.
Dynamic Probes is a linux debugging facility that will operate under the most extreme software conditions. It offers a technique for debugging in both kernel and user space by allowing you to insert "probes" in running programs.
IMAVR is Atmel AVR 8-bit RISC chip emulator for UNIX. You can run your code before programming to chip. Embedded simple debugger and disassembler. Emulate wide range of AVR chip, wide range of their modules: EEPROM,USART, timers and so on.
Debugging library for .NET (written in C#). Log as plain text, xml and treeviews into console, debug window, files and eventlog. Covers pretty much all debugging needs.
Jar Browser is a Java development utility for searching and browsing the contents of a set of jar and zip files. It supports searching for classes across multiple jars, plus a variety of other features. Great for solving CLASSPATH issues.
A FrameWork to develop Pascal Applications. This includes Integrated Development Environment (Rapid Application Development -RAD-), Virtual Machine, Web Services (Pascal Server Pages -PSP-) and too many tools
Enables a user to view & alter
all aspects of comunications with a web site via a proxy. Primarily used for security
based penetration testing of web sites, it can also be used for
debugging during development. Seen as part of a hacker toolkit.
GPICD - The GNU PIC Programmer and In-Circuit Debugger.
GPICD is an open-source Programmer and In-Circuit debugger for the Microchip (TM) PIC (TM) family of microcontrollers. It is an ideal complement for the gputils development tool set.
CTrace is a multi-threaded trace debug library written in C. It provides a simple, fast, well documented trace utility for applications and as such is especially suitable for use in real-time embedded applications.
XTC4y is a collection of testing utilities for Java Code. It currently provides classes to instanciate an abstract class for testing the implemented methods, an invocation stack tracing the calls on an interface and a LogClassLoader. NOTE: DEVELOPMENT ST
Visual DB Script is an editor PHP,ASP,HTML(can support other languages) that integrate the functionally of a Database Manager (like Access or MySQL). It supports Scripting Developers with specifical SQL commands and an SQL Query Designer
VICS, Verification of an Implementation Conforming to its Specification, aims to check the correctness of a refinement of the B formal method (http://www-lsr.imag.fr/B/Bsite-pages.html). More info on http://vics.sourceforge.net