BibSonomy bookmarks for /user/mobileink/tools

My Software- Sandro Sigala

mobileink — 2007-08-06T01:36:29+02:00

personal pgming site

Flawfinder Home Page

mobileink — 2007-07-16T10:33:41+02:00

http://www.dwheeler.com/flawfinder/

Cream :: a modern configuration of the Vim text editor

mobileink — 2007-05-26T16:08:21+02:00

http://cream.sourceforge.net/

jQuery: The Write Less, Do More, JavaScript Library

mobileink — 2007-04-23T02:05:12+02:00

http://jquery.com/

John Resig - JavaScript Development Tools

mobileink — 2007-04-23T02:00:20+02:00

http://ejohn.org/blog/javascript-development-tools/

Venkman JavaScript Debugger project page

mobileink — 2007-04-23T01:53:29+02:00

http://www.mozilla.org/projects/venkman/

Source Code Security Analyzers - SAMATE

mobileink — 2007-03-31T15:28:30+02:00

http://samate.nist.gov/index.php/Source_Code_Analyzers

UNO Static C analysis

mobileink — 2007-03-31T15:26:05+02:00

http://spinroot.com/uno/

Secure Coding: Principles & Practices

mobileink — 2007-03-31T15:21:03+02:00

list of tools

Source Code Analysis Tools - Overview

mobileink — 2007-03-31T15:10:33+02:00

https://buildsecurityin.us-cert.gov/daisy/bsi/articles/tools/code/263.html?branch=1&language=1

Bibutils

mobileink — 2007-02-15T19:36:37+01:00

The bibutils program set interconverts between various bibliography formats using a common XML intermediate.

Open source applications for Mac OS X

mobileink — 2006-12-17T20:33:11+01:00

http://software.newsforge.com/article.pl?sid=06/11/29/2027248&from=rss

The GNU Netcat -- Official homepage

mobileink — 2006-10-29T15:49:58+01:00

http://netcat.sourceforge.net/

OBJ Language Family

mobileink — 2006-10-24T20:04:16+02:00

The OBJ languages are broad spectrum algebraic programming and specification languages, based on order sorted equational logic, possibly enriched with other logics (such as rewriting logic, hidden equational logic, or first order logic), and providing the powerful module system of parameterized programming...All the OBJ languages are rigorously based upon a logical system; more precisely, they are logical languages, in the sense that their programs are sets of sentences in some logical system, and their operational semantics is given by deduction in that logical system.

Splint - Secure Programing LINT

mobileink — 2006-05-22T02:36:49+02:00

Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint.

CADiZ

mobileink — 2006-02-21T23:57:31+01:00

CADiZ is a set of free software tools

RareWares

mobileink — 2006-01-31T08:00:23+01:00

Rarewares is the place to find all the latest Mp3, AAC, Ogg Vorbis, Mpeg-4 and general media utilities compiles.

FireBug - JoeHewitt.com

mobileink — 2006-01-31T03:52:04+01:00

FireBug is fairly simple - it adds a console to the bottom of every web page in Firefox. The console will display all Javascript errors that occurred for the page you are looking at, and objects or text that have been logged from various places

The Squeeze Project: Code Compression

mobileink — 2006-01-26T11:35:39+01:00

http://www.cs.arizona.edu/squeeze/

Literate Programming

mobileink — 2006-01-25T12:55:04+01:00

http://www.literateprogramming.com/