Search Results for "https"

This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

NB: Development has been moved to Github: https://github.com/avrdudes/avarice AVaRICE is a program for interfacing the Atmel JTAG ICE to GDB to allow users to debug their embedded AVR target.

A COBOL debugger for GnuCOBOL written in GnuCOBOL. Works with both current GnuCOBOL and old GnuCOBOL/OpenCOBOL 1.1; could be used for other vendors with slightly modifications, too. Take a look at https://gnucobol.altervista.org/tp-cobol-debugger/

GDBServer Extender（gdbx）顾名思义就是为GDB调试扩展一些本来没有的功能。例如线程（任务）感知调试（OS Aware）、线程（任务）堆栈检查等。支持FreeRTOS、eCos。支持OpenOCD、J-Link、QEMU。支持Cortex-M、i386。 请移步https://code.csdn.net/zoomdy/gdbx获得更多内容。

Open On-Chip Debug Solution for Embedded Target Systems based primarily on ARM cores. This project has moved to sourceforge: https://sourceforge.net/projects/openocd/

A collection of tools that should help you to analyze java thread dumps. MOVED TO github: https://github.com/slotties/jtdutils

Like the well-known tee program on UNIX systems, HttpTea is sitting between the client and the server of a HTTP connection. It allows you to modify the requests and responses before submission. HTTPS traffic can be decrypted an displayed as well.

...It can detect memory leaks and buffer overruns (or underruns) in a malloc() / new memory buffer. DUMA is a fork of Bruce Perens' Electric Fence library. sourceforge isn't maintained for many years! suggest you want to look at https://github.com/johnsonjh/duma

...Simulate slow and unreliable networks. More powerful than Apache TCPMon and less expensive than Shunra Cloud. You can finally see what your SOAP service is sending over HTTPS!