Sappeur is a safe and efficient programming language. The memory safety of Sappeur programs is equivalent to Java or .NET without having the performance penalties of those languages. This is implemented with smart pointers and stack allocation of objects and arrays. Also, arrays of objects and synchronous destructors are possible. Sappeur executables are native code and do not use a garbage collector. The safety properties of Sappeur are assured by a proper type system (which forbids weird pointer casts for example) and runtime checks. This is true for both single- and multithreaded programs. The Sappeur compiler translates programs into safe C++ programs, which makes integration with existing C++ code simple. Finally, Sappeur technology erects another layer of defense against cyber threats.
|Tags||compiler safe programming language untrusted code execution Cyber Defense|
|Operating Systems||Windows Linux Solaris|
Release Notes: This release fixes a pointer handling problem, extends Unit Tests, and adds samples and documentation. Users are urged to upgrade. Note that the Google Code site is being deprecated.
Release Notes: 64-bit support on pthread-capable platforms. Integrity rules for destructors. Stack depth checking has been implemented. Various fixes for minor issues. Cygwin support. pthread_mutex now used to protect reference counting. Unicode strings have been added.
Release Notes: Minor fixes for error messages and error termination of the compiler. Missing sample files were added. Statistics reporting was added for compile runs.
Release Notes: A critical memory management issue has been fixed in this version. Please do not use older versions.
Release Notes: A FreeBSD port and minor cleanup.