hiding
Sponsored Links
Sponsored Links
Secleted [ 0 ] software to compare
Results 1 - 15 of about 474
Adblock Plus: Element Hiding Helper 1.0.1 for Firefox
Adblock Plus: Element Hiding Helper is an extension meant for creating element hiding rules easier. more>>
Adblock Plus: Element Hiding Helper is an extension meant for creating element hiding rules easier.
Fight the text ads! Element Hiding Helper is a companion extension for Adblock Plus meant to make creating element hiding rules easier.
You simply select the element you want to be hidden and then choose which attributes of this element should be taken into account when hiding it in future.
The element hiding rule is generated and added automatically.
<<lessFight the text ads! Element Hiding Helper is a companion extension for Adblock Plus meant to make creating element hiding rules easier.
You simply select the element you want to be hidden and then choose which attributes of this element should be taken into account when hiding it in future.
The element hiding rule is generated and added automatically.
Download (0.034MB)
Added: 2007-04-09 License: MPL (Mozilla Public License) Price:
931 downloads
Hidden Linux 1.2b
Hidden Linux is designed to meet the need of a robust and easily managed security infrastructure. more>>
Hidden Linux is designed to meet the need of a robust and easily managed security infrastructure that must satisfy a demanding set of organization requirements, while ensuring performance and security. Hidden Linux addresses the needs of organizations wishing to develop a secure internet presence in any form of Internet activity.
Features
Robust, and improved security and easy to manage. Hidden Linux is built on the latest stable technology and includes all the components necessary to manage all internet functions.
Overview
Issues involving availability, performance, integrity, and privacy have been addressed with Hidden Linux; it improves the security of existing versions of Linux in several critical areas with the following features.
Design Philosophy
Security involves tradeoffs. Mitigating the risks with finding the right level of functionality and performance is always a challenge. Hidden Linux utilizes the principle of least privilege.
The secure design employed in Hidden Linux acknowledges the possibility of undiscovered flaws, and takes steps to minimize the security impact these flaws can have. read more
<<lessFeatures
Robust, and improved security and easy to manage. Hidden Linux is built on the latest stable technology and includes all the components necessary to manage all internet functions.
Overview
Issues involving availability, performance, integrity, and privacy have been addressed with Hidden Linux; it improves the security of existing versions of Linux in several critical areas with the following features.
Design Philosophy
Security involves tradeoffs. Mitigating the risks with finding the right level of functionality and performance is always a challenge. Hidden Linux utilizes the principle of least privilege.
The secure design employed in Hidden Linux acknowledges the possibility of undiscovered flaws, and takes steps to minimize the security impact these flaws can have. read more
Download (216MB)
Added: 2005-05-17 License: GPL (GNU General Public License) Price:
1620 downloads
WinGL 0.6
WinGL a is small C++ library designed to help developing portable OpenGL windows-based or fullscreen applications. more>>
WinGL a is small C++ library designed to help developing portable OpenGL windows-based or fullscreen applications. Currently, the library can be used under any X11 implementation and Windows.
WinGL supports or will support frequently-used functionalities in graphical applications like 3-d renderers or games. The functionalities that are implemented, or currently planned to be, are:
creating a main window with control over size, color format and icon
handling the main event-driven loop, using a system of callbacks embedded in C++ objects.
supporting mouse. The library must be able to
capture the mouse, i.e. hiding it and receiving relative movements instead of absolute movements. (often used in 3-d immersions)
detect drag&drop operations
supporting keyboard. The library must be able to
support classical behaviour (like in any window manager)
intercept special keys like shift and control, and not repeat keypresses when a key is pressed for a lo
<<lessWinGL supports or will support frequently-used functionalities in graphical applications like 3-d renderers or games. The functionalities that are implemented, or currently planned to be, are:
creating a main window with control over size, color format and icon
handling the main event-driven loop, using a system of callbacks embedded in C++ objects.
supporting mouse. The library must be able to
capture the mouse, i.e. hiding it and receiving relative movements instead of absolute movements. (often used in 3-d immersions)
detect drag&drop operations
supporting keyboard. The library must be able to
support classical behaviour (like in any window manager)
intercept special keys like shift and control, and not repeat keypresses when a key is pressed for a lo
Download (0.018MB)
Added: 2006-07-15 License: GPL (GNU General Public License) Price:
1196 downloads
THC-UnixHackingTools 1
THC-UnixHackingTools is a compilation of needfull unix hacking tools including backdoors. more>>
THC-UnixHackingTools is a compilation of needfull unix hacking tools including backdoors, cleaners, tunnels, etc written by THC members, that compile on various unix platforms.
They are not elite of course, otherwise we wouldnt release them, but they are very useful - so take a look and tryem out...
Collector v1.0 library to transfer data to other hosts (sniffer!)
Hunter v1.2 easy sniffer for Linux
ICMP-Tunnel v1.0 an icmp tunnel program for transfering files
Searcher v8.0 check admins $HOME for .rhosts/.forward etc.
Smeagol v4.4.4 nice backdoor with acct/logclean and hiding functions
clear v1.3 elite log cleaner (delete!) for utmp(x)/wtmp(x)/lastlog
cnt-svr-filetransfer small sources to transfer files on any unix system
daemonshell tcp and udp daemonshell in perl
fingerd-fileserver patch to fingerd (linux) to transfer files (cool!)
paz v1.0 process accounting zap, deletes accouting info
probe v2.3 script for remote host probing, really good.
t-shirt v4.0 our THC T-Shirt for 98, 1st released on the Cebit
zap3 enhanced zap to delete entrys. also for sys v systems
on most files, the small README inside does not tell much about its options. browse the sourcecode instead.
<<lessThey are not elite of course, otherwise we wouldnt release them, but they are very useful - so take a look and tryem out...
Collector v1.0 library to transfer data to other hosts (sniffer!)
Hunter v1.2 easy sniffer for Linux
ICMP-Tunnel v1.0 an icmp tunnel program for transfering files
Searcher v8.0 check admins $HOME for .rhosts/.forward etc.
Smeagol v4.4.4 nice backdoor with acct/logclean and hiding functions
clear v1.3 elite log cleaner (delete!) for utmp(x)/wtmp(x)/lastlog
cnt-svr-filetransfer small sources to transfer files on any unix system
daemonshell tcp and udp daemonshell in perl
fingerd-fileserver patch to fingerd (linux) to transfer files (cool!)
paz v1.0 process accounting zap, deletes accouting info
probe v2.3 script for remote host probing, really good.
t-shirt v4.0 our THC T-Shirt for 98, 1st released on the Cebit
zap3 enhanced zap to delete entrys. also for sys v systems
on most files, the small README inside does not tell much about its options. browse the sourcecode instead.
Download (0.067MB)
Added: 2006-03-08 License: GPL (GNU General Public License) Price:
1339 downloads
hideBad 1.4.0
hideBad is a Firefox extension that hides bad things. more>>
hideBad is a Firefox extension that hides bad things. Saves all the tabs in the current window, closes them, and replaces them with the homepage tabs. Saved tabs can later be recovered. Can clear the following at the users choice:
- History
- Recently Closed Tabs list
- Saved form info
- Saved passwords
- Download history
- Cookies
- Cache
- Searchbar
<<less- History
- Recently Closed Tabs list
- Saved form info
- Saved passwords
- Download history
- Cookies
- Cache
- Searchbar
Download (0.021MB)
Added: 2007-07-30 License: MPL (Mozilla Public License) Price:
855 downloads
libhid 0.2.16
libhid is a user-space HID access library written in C. more>>
libhid is a user-space HID access library written in C. It provides a generic and flexible way to access and interact with USB HID devices, much like libusb does for plain USB devices.
It is based on libusb, thus it requires no HID support in the kernel. Furthermore, it aims to support all operating system supported by libusb: Linux, BSD, OS X, and Windows.
libhid is still under development and it does not have a proper homepage (if you want to write one, please contact us!).
Until one is ready, you are welcome to download the software and try it out, it should be easy to use if you have some knowledge of C and are willing to read someone elses code. Documentation does not yet exist, but we are working to provide it using Doxygen
Enhancements:
- This release of libhid adds a few new functions and a new Python HID wrapper library, but it is mostly a maintenance release.
<<lessIt is based on libusb, thus it requires no HID support in the kernel. Furthermore, it aims to support all operating system supported by libusb: Linux, BSD, OS X, and Windows.
libhid is still under development and it does not have a proper homepage (if you want to write one, please contact us!).
Until one is ready, you are welcome to download the software and try it out, it should be easy to use if you have some knowledge of C and are willing to read someone elses code. Documentation does not yet exist, but we are working to provide it using Doxygen
Enhancements:
- This release of libhid adds a few new functions and a new Python HID wrapper library, but it is mostly a maintenance release.
Download (0.42MB)
Added: 2007-04-26 License: GPL (GNU General Public License) Price:
928 downloads
Hide Menubar 1.0.20070405
Hide Menubar is an extension used to hide your Mainmenu Toolbar automatically. more>>
Hide Menubar is an extension used to hide your Mainmenu Toolbar automatically.
Supports to hide your Mainmenu Toolbar automatically, you can press the ALT key to show it temporarily.
<<lessSupports to hide your Mainmenu Toolbar automatically, you can press the ALT key to show it temporarily.
Download (0.004MB)
Added: 2007-04-11 License: MPL (Mozilla Public License) Price:
929 downloads
open Outcast: The Hidden Gate 0.1
open Outcast: The Hidden Gate is a free Outcast successor. more>>
open Outcast: The Hidden Gate is a free Outcast successor The aim of the open Outcast project is to create a free successor to the commercial action-adventure "Outcast" released in 1999 and developed by Appeal.
Since the official sequel was canceled we decided to create our own using free technology like Crystalspace / CEL since portability and a free license were important to us. We also make sure, that all artist tasks can be done via free programs as well (like 3d art 3dsmax OR Blender, 2d art Photoshop OR Gimp).
<<lessSince the official sequel was canceled we decided to create our own using free technology like Crystalspace / CEL since portability and a free license were important to us. We also make sure, that all artist tasks can be done via free programs as well (like 3d art 3dsmax OR Blender, 2d art Photoshop OR Gimp).
Download (112.8MB)
Added: 2007-02-20 License: Freeware Price:
983 downloads
SwingSet 1.0.0 PR4
SwingSet is an Java toolkit that contains data-aware replacements for many of the standard Java Swing components. more>>
SwingSet is an Java toolkit that contains data-aware replacements for many of the standard Java Swing components. SwingSet project currently includes replacements for JTextField, JTextArea, JSlider, JComboBox, JCheckBox, and JLabel.
There is also an image component, a graphical record navigator, and a data grid component. All of the primary components are available as JavaBeans.
Main features:
- data-aware replacements for JTextField, JTextArea, JComboBox, JCheckBox, JLabel, JSlider, & JFormattedTextField
- binding of a "hidden" numeric column for combo boxes with text choices (e.g. 0, 1, & 2 are stored for "Yes," "No," & "Maybe," respectively)
- population of combo boxes based on columns in a database query (can also be used for combo box-based record navigation)
- a data-aware image component with support for JPEG & GIF image formats
- a graphical record navigator
- allows for database traversal, insertion, deletion, commit, and rollback
- supplies current record index (editable) and total record count
- a data grid component for creating datasheet/spreadsheet/table views of queries
- allows cut & paste to/from spreadsheet programs or other data grids
- allows custom column headings
- allows hiding of specified columns
- allows disabling of specified columns
- allows columns to be displayed as text boxes or combo boxes
- allows addition and deletion of records
- allows deletion of multiple, non-consecutive records
- allows data entry "masks" to be applied to text columns
- a serializable datasource abstraction layer
- JavaBean support for all major components
Enhancements:
- Fixed check for confirmDeletes flag during row deletion.
<<lessThere is also an image component, a graphical record navigator, and a data grid component. All of the primary components are available as JavaBeans.
Main features:
- data-aware replacements for JTextField, JTextArea, JComboBox, JCheckBox, JLabel, JSlider, & JFormattedTextField
- binding of a "hidden" numeric column for combo boxes with text choices (e.g. 0, 1, & 2 are stored for "Yes," "No," & "Maybe," respectively)
- population of combo boxes based on columns in a database query (can also be used for combo box-based record navigation)
- a data-aware image component with support for JPEG & GIF image formats
- a graphical record navigator
- allows for database traversal, insertion, deletion, commit, and rollback
- supplies current record index (editable) and total record count
- a data grid component for creating datasheet/spreadsheet/table views of queries
- allows cut & paste to/from spreadsheet programs or other data grids
- allows custom column headings
- allows hiding of specified columns
- allows disabling of specified columns
- allows columns to be displayed as text boxes or combo boxes
- allows addition and deletion of records
- allows deletion of multiple, non-consecutive records
- allows data entry "masks" to be applied to text columns
- a serializable datasource abstraction layer
- JavaBean support for all major components
Enhancements:
- Fixed check for confirmDeletes flag during row deletion.
Download (0.24MB)
Added: 2006-06-06 License: GPL (GNU General Public License) Price:
1236 downloads
Tilda 0.9.4
Tilda is a Linux terminal application taking likeness of many popular first person shooter consoles. more>>
Tilda project is a Linux terminal taking after the likeness of many classic terminals from first person shooter games, Quake, Doom and Half-Life to name a few, where the terminal has no border and is hidden from the desktop till a key or keys is hit.
<<less Download (0.12MB)
Added: 2006-11-30 License: GPL (GNU General Public License) Price:
1068 downloads
Honeyd 1.5c
Honeyd is a small daemon that creates virtual hosts on a network. more>>
The hosts can be configured to run arbitrary services, and their personality can be adapted so that they appear to be running certain operating systems. Honeyd enables a single host to claim multiple addresses - I have tested up to 65536 - on a LAN for network simulation.
Honeyd improves cyber security by providing mechanisms for threat detection and assessment. It also deters adversaries by hiding real systems in the middle of virtual systems.
It is possible to ping the virtual machines, or to traceroute them. Any type of service on the virtual machine can be simulated according to a simple configuration file. Instead of simulating a service, it is also possible to proxy it to another machine.
annotate "AIX 4.0 - 4.2" fragment old
# Example of a simple host template and its binding create template
set template personality "AIX 4.0 - 4.2"
add template tcp port 80 "sh scripts/web.sh"
add template tcp port 22 "sh scripts/test.sh $ipsrc $dport"
add template tcp port 23 proxy 10.23.1.2:23
set template default tcp action reset
bind 10.21.19.102 template
The different TCP personalities are learned from reading a nmap fingerprint file. The configured personality is the operating system that nmap or xprobe will return. Personalities can be annotated to determine if they allow FIN-scans for open ports or to select the preference in which they reassemble fragmented IP packets.
Honeyd can be used to create a virtual honey net or for general network monitoring. It supports the creation of a virtual network topology including dedicated routes and routers. The routes can be attributed with latency and packet loss to make the topology seem more realistic.
Because Honeyd interacts with potentially malicious adversaries, you should sandbox it with Systrace. Systrace prevents an adversary from exploiting bugs in your Honeyd scripts.
Subsystem Virtualization
Honeyd supports service virtualization by executing Unix applications as subsystems running in the virtual IP address space of a configured honeypot. This allows any network application to dynamically bind ports, create TCP and UDP connections using a virtual IP address.
Subsystems are virtualized by intercepting their network requests and redirecting them to Honeyd. Every configuration template may contain subsystems that are started as separated processes when the template is bound to a virtual IP address. An additional benefit of this approach is the ability of honeypots to create sporadic background traffic like requesting web pages and reading email, etc.
Network Simulation/Internet-In-The-Box
Honeyd supports assymetric routes and the integration of physical machines into the virtual network topology. As a result, it is possible to use Honeyd for simple network simulations: Physical hosts can be exposed to high latency or packet loss, arbitrary routing infrastructures, etc.
route entry 10.0.0.1 network 10.0.0.0/8
route 10.0.0.1 link 10.0.0.0/24
route 10.0.0.1 add net 10.4.0.0/14 tunnel "thishost" "honeyd-b"
route 10.0.0.1 add net 10.1.0.0/16 10.1.0.1 latency 55ms loss 0.1
route 10.0.0.1 add net 10.2.0.0/16 10.2.0.1 latency 20ms loss 0.1
route 10.0.0.1 add net 10.3.0.0/16 10.2.0.1 latency 20ms loss 0.1
route 10.1.0.1 link 10.1.0.0/24
route 10.2.0.1 link 10.2.0.0/24
[...]
route 10.2.0.1 add net 10.3.0.0/16 10.3.0.1 latency 10ms loss 0.1
route 10.3.0.1 link 10.3.0.0/24
route 10.3.0.1 add net 10.3.1.1/24 10.3.1.1 latency 10ms
route 10.3.0.1 add net 10.3.240.0/20 10.3.240.1 latency 5ms
route 10.3.1.1 link 10.3.1.1/24
route 10.3.240.1 link 10.3.240.0/20
route 10.3.240.1 add net 0.0.0.0/0 10.3.0.1 latency 40ms loss 0.5
[...]
bind 10.2.0.243 to fxp0
bind 10.3.1.15 to fxp0
Using GRE tunneling allows the creation of distributed setups that allow Honeyd to scale to larger networks. It also allows virtual machines to be spread across separate address spaces as GRE tunnel selection can be based on the source addresses.
<<lessHoneyd improves cyber security by providing mechanisms for threat detection and assessment. It also deters adversaries by hiding real systems in the middle of virtual systems.
It is possible to ping the virtual machines, or to traceroute them. Any type of service on the virtual machine can be simulated according to a simple configuration file. Instead of simulating a service, it is also possible to proxy it to another machine.
annotate "AIX 4.0 - 4.2" fragment old
# Example of a simple host template and its binding create template
set template personality "AIX 4.0 - 4.2"
add template tcp port 80 "sh scripts/web.sh"
add template tcp port 22 "sh scripts/test.sh $ipsrc $dport"
add template tcp port 23 proxy 10.23.1.2:23
set template default tcp action reset
bind 10.21.19.102 template
The different TCP personalities are learned from reading a nmap fingerprint file. The configured personality is the operating system that nmap or xprobe will return. Personalities can be annotated to determine if they allow FIN-scans for open ports or to select the preference in which they reassemble fragmented IP packets.
Honeyd can be used to create a virtual honey net or for general network monitoring. It supports the creation of a virtual network topology including dedicated routes and routers. The routes can be attributed with latency and packet loss to make the topology seem more realistic.
Because Honeyd interacts with potentially malicious adversaries, you should sandbox it with Systrace. Systrace prevents an adversary from exploiting bugs in your Honeyd scripts.
Subsystem Virtualization
Honeyd supports service virtualization by executing Unix applications as subsystems running in the virtual IP address space of a configured honeypot. This allows any network application to dynamically bind ports, create TCP and UDP connections using a virtual IP address.
Subsystems are virtualized by intercepting their network requests and redirecting them to Honeyd. Every configuration template may contain subsystems that are started as separated processes when the template is bound to a virtual IP address. An additional benefit of this approach is the ability of honeypots to create sporadic background traffic like requesting web pages and reading email, etc.
Network Simulation/Internet-In-The-Box
Honeyd supports assymetric routes and the integration of physical machines into the virtual network topology. As a result, it is possible to use Honeyd for simple network simulations: Physical hosts can be exposed to high latency or packet loss, arbitrary routing infrastructures, etc.
route entry 10.0.0.1 network 10.0.0.0/8
route 10.0.0.1 link 10.0.0.0/24
route 10.0.0.1 add net 10.4.0.0/14 tunnel "thishost" "honeyd-b"
route 10.0.0.1 add net 10.1.0.0/16 10.1.0.1 latency 55ms loss 0.1
route 10.0.0.1 add net 10.2.0.0/16 10.2.0.1 latency 20ms loss 0.1
route 10.0.0.1 add net 10.3.0.0/16 10.2.0.1 latency 20ms loss 0.1
route 10.1.0.1 link 10.1.0.0/24
route 10.2.0.1 link 10.2.0.0/24
[...]
route 10.2.0.1 add net 10.3.0.0/16 10.3.0.1 latency 10ms loss 0.1
route 10.3.0.1 link 10.3.0.0/24
route 10.3.0.1 add net 10.3.1.1/24 10.3.1.1 latency 10ms
route 10.3.0.1 add net 10.3.240.0/20 10.3.240.1 latency 5ms
route 10.3.1.1 link 10.3.1.1/24
route 10.3.240.1 link 10.3.240.0/20
route 10.3.240.1 add net 0.0.0.0/0 10.3.0.1 latency 40ms loss 0.5
[...]
bind 10.2.0.243 to fxp0
bind 10.3.1.15 to fxp0
Using GRE tunneling allows the creation of distributed setups that allow Honeyd to scale to larger networks. It also allows virtual machines to be spread across separate address spaces as GRE tunnel selection can be based on the source addresses.
Download (0.87MB)
Added: 2007-05-29 License: GPL (GNU General Public License) Price:
888 downloads
Starfish Password Manager 0.2
Starfish Password Manager project consists of a password manager. more>>
Starfish Password Manager project consists of a password manager.
Starfish is a simple password manager. It stores all of its data in XML, and uses strong encryption (MD5 with DES).
Main features:
- 100% Java©
- Easy to use GUI
- Strong encryption
- Sortable columns, password hiding/unhiding
- Easy copy to clipboard
- All data stored in XML
<<lessStarfish is a simple password manager. It stores all of its data in XML, and uses strong encryption (MD5 with DES).
Main features:
- 100% Java©
- Easy to use GUI
- Strong encryption
- Sortable columns, password hiding/unhiding
- Easy copy to clipboard
- All data stored in XML
Download (0.78MB)
Added: 2007-01-22 License: GPL (GNU General Public License) Price:
1007 downloads
Preferences Hide and Seek 0.6.0
Preferences Hide and Seek lets you configure hard to find and hidden options of GNOME. more>>
Preferences Hide and Seek can configure hard to find and hidden options of GNOME.
Preferences Hide and Seek is a utility that groups together the options that actually exist for GNOME, but are usually hard to find or are just plain hidden from the user.
This utility also makes it possible to create a simple data file to expose gconf-based options to the user. It was created to allow usable access to the hidden application options buried within gconf.
Main features:
- Easy to create an advanced preferences dialog for any application that utilizes GConf.
- Single application mode can be used to mimmick a standard dialog.
- Supports GConf key types boolean, integer, float and string.
- Can set minimum and maximum range for numeric key types.
- Can present string keys as a file or folder name selection.
- Can present string keys as a drop down menu.
- Can present string keys as a font selection.
- Can present string keys as a color selection.
- Can present integer enumerations as a drop down menu.
- Radio buttons support integer, float, and string key types.
- Check buttons, radio buttons, and drop down menus can control the sensitivity of other objects.
<<lessPreferences Hide and Seek is a utility that groups together the options that actually exist for GNOME, but are usually hard to find or are just plain hidden from the user.
This utility also makes it possible to create a simple data file to expose gconf-based options to the user. It was created to allow usable access to the hidden application options buried within gconf.
Main features:
- Easy to create an advanced preferences dialog for any application that utilizes GConf.
- Single application mode can be used to mimmick a standard dialog.
- Supports GConf key types boolean, integer, float and string.
- Can set minimum and maximum range for numeric key types.
- Can present string keys as a file or folder name selection.
- Can present string keys as a drop down menu.
- Can present string keys as a font selection.
- Can present string keys as a color selection.
- Can present integer enumerations as a drop down menu.
- Radio buttons support integer, float, and string key types.
- Check buttons, radio buttons, and drop down menus can control the sensitivity of other objects.
Download (0.086MB)
Added: 2006-11-08 License: GPL (GNU General Public License) Price:
1082 downloads
QuiKview 1.1
QuiKView is a simple, fast and portable viewer made to work with the simplest gui. more>>
QuiKView project is a simple, fast and portable viewer made to work with the simplest gui and to do as much as possible without having to touch the mouse.
Enhancements:
- Fixed qmake project file, now it will compile the quik executable in the current directory
- Added shortcut to show/hide the file list
- Added to the help the notion that Up/Down arrows makes possible to view the previous/next image
- Now If launching on a file instead of on a directory it will show that file hiding the file list
<<lessEnhancements:
- Fixed qmake project file, now it will compile the quik executable in the current directory
- Added shortcut to show/hide the file list
- Added to the help the notion that Up/Down arrows makes possible to view the previous/next image
- Now If launching on a file instead of on a directory it will show that file hiding the file list
Download (0.040MB)
Added: 2005-05-31 License: GPL (GNU General Public License) Price:
900 downloads
Splint 3.1.1
Splint is a tool that checks C programs for security problems and coding mistakes. more>>
Splint is a tool for statically checking C programs for security vulnerabilities and programming mistakes.
Splint does many of the traditional lint checks including unused declarations, type inconsistencies, use before definition, unreachable code, ignored return values, execution paths with no return, likely infinite loops, and fall through cases.
More powerful checks are made possible by additional information given in source code annotations. Annotations are stylized comments that document assumptions about functions, variables, parameters and types.
In addition to the checks specifically enabled by annotations, many of the traditional lint checks are improved by exploiting this additional information.
As more effort is put into annotating programs, better checking results. A representational effort-benefit curve for using Splint is shown in Figure 1.
Splint is designed to be flexible and allow programmers to select appropriate points on the effort-benefit curve for particular projects.
As different checks are turned on and more information is given in code annotations the number of bugs that can be detected increases dramatically.
Problems detected by Splint include:
- Dereferencing a possibly null pointer
- Using possibly undefined storage or returning storage that is not properly defined
- Type mismatches, with greater precision and flexibility than provided by C compilers
- Violations of information hiding
- Memory management errors including uses of dangling references and memory leaks
- Dangerous aliasing
- Modifications and global variable uses that are inconsistent with specified interfaces
- Problematic control flow such as likely infinite loops, fall through cases or incomplete switches, and suspicious statements
- Buffer overflow vulnerabilities
- Dangerous macro implementations or invocations
- Violations of customized naming conventions.
<<lessSplint does many of the traditional lint checks including unused declarations, type inconsistencies, use before definition, unreachable code, ignored return values, execution paths with no return, likely infinite loops, and fall through cases.
More powerful checks are made possible by additional information given in source code annotations. Annotations are stylized comments that document assumptions about functions, variables, parameters and types.
In addition to the checks specifically enabled by annotations, many of the traditional lint checks are improved by exploiting this additional information.
As more effort is put into annotating programs, better checking results. A representational effort-benefit curve for using Splint is shown in Figure 1.
Splint is designed to be flexible and allow programmers to select appropriate points on the effort-benefit curve for particular projects.
As different checks are turned on and more information is given in code annotations the number of bugs that can be detected increases dramatically.
Problems detected by Splint include:
- Dereferencing a possibly null pointer
- Using possibly undefined storage or returning storage that is not properly defined
- Type mismatches, with greater precision and flexibility than provided by C compilers
- Violations of information hiding
- Memory management errors including uses of dangling references and memory leaks
- Dangerous aliasing
- Modifications and global variable uses that are inconsistent with specified interfaces
- Problematic control flow such as likely infinite loops, fall through cases or incomplete switches, and suspicious statements
- Buffer overflow vulnerabilities
- Dangerous macro implementations or invocations
- Violations of customized naming conventions.
Download (1.63MB)
Added: 2005-04-18 License: GPL (GNU General Public License) Price:
1651 downloads
Secleted [ 0 ] software to compare
Copyright Notice:
Software piracy is theft, Using crack, password, serial numbers, registration codes, key generators is illegal and prevent future software development. The above hiding search only lists software in full, demo and trial versions for free download. Download links are directly from our mirror sites or publisher sites, torrent files or links from rapidshare.com, yousendit.com or megaupload.com are not allowed