Lynis is an security auditing and hardening tool for Unix derivatives like Linux/BSD/Solaris. It performs an in-depth scan on the system to detect software and security issues. Besides information related to security, it will also scan for general system information, installed packages, and possible configuration mistakes. The software is aimed at assisting automated auditing, configuration management, software patch management, vulnerability detection, and malware scanning of Unix-based systems.
fio is an I/O tool meant to be used both for benchmark and stress/hardware verification. It has support for 19 different types of I/O engines (sync, mmap, libaio, posixaio, SG v3, splice, null, network, syslet, guasi, solarisaio, and more), I/O priorities (for newer Linux kernels), rate I/O, forked or threaded jobs, and much more. It can work on block devices as well as files. fio accepts job descriptions in a simple-to-understand text format. Several example job files are included. fio displays all sorts of I/O performance information, including complete IO latencies and percentiles. Fio is in wide use in many places, for both benchmarking, QA, and verification purposes. It supports Linux, FreeBSD, NetBSD, OpenBSD, OS X, OpenSolaris, AIX, HP-UX, Android, and Windows.
SoC GDS is a platform for enabling hierarchical SoC integration and verification across traditional EDA frameworks based on Virtual Components per the VSIA guidelines. It is also a fast viewer and processor for native GDSII files. It encompasses a set of powerful functions allowing automatic cell renaming, grid verifications, GDS II files merging (AND), physical comparison (XOR), hierarchy modifications, and conversion to text format.
Client-side Security Exit for DTCC (SX4DTCC) is a solution that allows a company to perform verification with a DTCC (Depository Trust Clearing Corporation) queue manager. It operates with WebSphere MQ 6.0, 7.0, 7.1, or 7.5 in Windows, Unix, IBM i, and Linux environments. It works with Sender, Server, and Cluster-Sender channels of WebSphere MQ queue manager.
MQ Set UserID (MQSUI) is a new solution that allows a company the ability to explicitly set a UserID via a MQ Channel's Send, Receive, or Message Exit. It operates with WebSphere MQ 6.0, 7.0, 7.1, or 7.5 in Windows, Unix, IBM i, and Linux environments, and works with Server Connection, Receiver, Cluster-Receiver, and Cluster-Sender channels of WebSphere MQ queue manager.
MQ Channel Auto Creation Manager (MQCACM) is an MQ Channel Auto-Definition (MQ CHAD) exit which allows a company to control and restrict incoming connection requests to auto-create a channel. MQCACM is invoked when a request is received to start an undefined Receiver, Server-Connection, Cluster-Receiver, or Cluster-Sender channel. MQCACM can modify or clear the supplied default channel definition values for an instance of the channel, so there is no exit incompatibility (cross-platform or otherwise).
Chicken is a Scheme compiler that translates most of R5RS Scheme into relatively portable C. It supports fully general tail-call recursion, first-class continuations, and has a very flexible and efficient interface to C and C++. Chicken implements several extensions to the Scheme language: lightweight threads, pattern matching macros, dynamic loading of compiled code, and various object-oriented paradigms, such as TinyCLOS, and others. The library system includes hundreds of convenient modules for practical use.