This is the README file for the Linted distribution. Linted is a program for the purpose of demonstrating practical methods of guarding against software bugs. Copyright (C) 2013, 2015 Steven Stewart-Gallus Copying and distribution of this file, with or without modification, are permitted in any medium without royalty provided the copyright notice and this notice are preserved. See the file INSTALL for building and installation instruction. Linted is a program for the purpose of demonstrating usage of practical methods of guarding against software bugs. **IMPORTANT WARNING** ================================================================================ **This project is still in early development. It is very broken and not at all secure. As well, the developer is not the smartest and isn't very well educated in security. For your safety you should not derive code or algorithms from it.** Some of these methods of guarding against software bugs include: - process isolation - by forking and executing new processes - we guard against inheriting corrupted state by - execveing new process images from binaries - sanitizing unclosed file descriptors at process startup - toolchain hardening options - linters and static analysis tools We plan on also guarding against bugs with: - operating system level process sandboxing - operating system resource limits - operating system capabilities - formal analysis tools - a formalized model of IPC using - temporal logic tools to prove theorems about various safety and liveness properties - extensive testing with - unit tests - fuzz tests A few explicitly labeled files (such as this README) are distributed under much more simple and less restrictive licences than the Apache License. But for most files and unless otherwise stated: Linted is licensed under the Apache License, Version 2.0 (the "License"); you may not use Linted except in compliance with the License. You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0 You should have received a copy of the Licence under the file COPYING distributed with this program. Home page: https://gitlab.com/linted Linted is free software. See the file COPYING for copying conditions.