InfoQ Homepage Debugging Content on InfoQ
-
Facebook Open Sources Infer, a Static Analysis Tool
Facebook has open sourced Infer, a static analysis tool for C, Java and Objective-C.
-
Visual Studio Code v0.3: Support for Rust and F# debugging
Microsoft has released v0.3 of its native Visual Studio application, bringing with it support for Rust, as well as changes to keybindings.
-
Developing Provably-Correct Software Using Formal Methods
Computer-checked models can be used to prove that core communications and state management in a software program are 100% logically correct. Such models can also be used to generate 100% correct source code. The usage of formal methods can reduce costs and time to market and help to deliver highly reliable software products.
-
Vorlon.js Released, Aims to Help Developers Remotely Test and Debug JavaScript Code
Microsoft has released Vorlon.js, a remote debugging tool for JavaScript. Announcing the tool in a MSDN blog post, creator David Catuhe described Vorlon.js as "a small web server you can run from your local machine, or install on a server for your team to access, that serves the Vorlon.js dashboard and communicates with the remote devices."
-
Code Aware Libraries with Roslyn
Code Aware Libraries are “libraries that provide guidance on correct use through embedded tooling and operates on the user’s code in real time.”
-
Facebook Stetho: Debugging Any Android App with Chrome DevTools
Facebook has open sourced Stetho, an Android debugging bridge enabling developers to debug their apps using Chrome DevTools.
-
Reveal 1.5 Released, Adding 35 New Features Including Auto-Layout Support
Itty Bitty apps last week released (http://revealapp.com/features/#debug) version 1.5 of their iOS layout debugging app Reveal; which features 35 new features and a refreshed user interface.
-
IntelliJ IDEA 14 Arrives
JetBrains released IntelliJ IDEA 14 a month ahead of schedule. This release introduces a wealth of innovative features, including a new decompiler, debugger improvements, editor enhancements, support for Android Wear/TV, and support for many JavaScript frameworks.
-
New Device Mode in Google Chrome
In an upcoming Chrome release, Google upgraded DevTools with a new “Device Mode” to enable streamlined device display emulation, media query inspection, and a new network throttling tool. These tools make it easier for developers to emulate various devices and situations that their web page will encounter in the wild.
-
Debugging iOS File Corruption at Facebook
Facebook engineers Slobodan Predolac and Nicolas Spielberg have recently described how they "solved a long-term mobile debugging problem and reduced the crash rate ... by more than 50 percent." In the process, they show general useful techniques and a few Facebook tools that can help with large, rapidly evolving codebases.
-
JavaScript Error Recorder Lets Users Report Bugs in Browser
Bogomil Shopov and Robert Nyman have announced The Usersnap Console Recorder, a browsable JavaScript error- and XHR-logs recorder that is free to use for FOSS projects.
-
GapDebug, Mobile Debugging Tool for PhoneGap and Cordova, Enters Public Beta
Genuitec has announced a public beta for GapDebug, a free debugger for hybrid mobile apps built on top of the Cordova/PhoneGap SDK. GapDebug integrates versions of the Safari Webkit Inspector and Chrome Dev Tools to offer an integrated debugging experience on OS X and Windows.
-
Lessons Learned from Apple's GoToFail Bug
The recent security weakness found in both iOS and OS X hints at flaws in coding style guidelines, unit testing, system testing, code review policies, error management strategies, and tools deployment. An overview.
-
Android++ with Zero Hardware Restrictions, MSBuild, LLVM, GCC, Integrated GDB Debugging
The recently released Android++ in closed beta enables you to build Android apps using Visual Studio with support for zero hardware restrictions, MSBuild, LLVM, GCC in addition to integrated GDB debugging.
-
Introducing Rodney Viana’s WinDbg Extension for .NET Debugging
When a .NET application fails in production the developer is often left with just a memory dump. Since Visual Studio cannot handle dumps, you have to instead look at a tool called WinDbg. Though powerful, these can be difficult to use so developers occasionally create their own extensions. Once such developer is Rodney Viana, who has just released netext 1.6.1 as an open source project.