This program runs stat(2) or lstat(2) on each input file and displays the results. By default, stat displays all the attributes returned by stat(2) or lstat(2). Specific attributes can be requested by specifying one of the command-line options. For better integration with scripting languages, the normally human-readable output can be forced to simple, numeric output with a command line option. This utility is inteded to be both command line and output compatible with the utility of the same name on SGI's Irix operating system.
Platform Independent Petri Net Editor (PIPE) creates and analyses Petri Nets quickly, efficiently, and effectively. A key design feature is the modular approach adopted for analysis, enabling new modules to be written easily and powerfully, using built-in data layer methods for standard calculations. Six analysis modules are provided, including Invariant Analysis, State-Space Analysis (deadlock, etc.), and Simulation Analysis and Classification. PIPE adheres to the XML Petri net standard (PNML). The file format for saving and loading Petri Nets is extensible through the use of XSLT, the default being PNML.
mfw allows multiple firewall configurations to be managed from the commandline on Mac OS X. Multiple firewall modes (and easy means of selecting between them) are useful on laptops, where one may want a default paranoid firewall, a mode for network scanning with nmap, modes for various networked games, or to run a software Network Address Translation (NAT) wireless base station.