Search Results for "https/localhost11501"

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

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获得更多内容。

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.

...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!