L

Linted

Name Last Update
build-aux Loading commit data...
docs Loading commit data...
include Loading commit data...
m4 Loading commit data...
scripts Loading commit data...
src Loading commit data...
.clang-format Loading commit data...
.gitignore Loading commit data...
AUTHORS Loading commit data...
COPYING Loading commit data...
ChangeLog Loading commit data...
INSTALL Loading commit data...
Makefile.am Loading commit data...
Makefile.in Loading commit data...
NEWS Loading commit data...
README Loading commit data...
aclocal.m4 Loading commit data...
config.h.in Loading commit data...
configure Loading commit data...
configure-defaults Loading commit data...
configure.ac Loading commit data...
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.