| Port details |
- tesla Temporally Enhanced Security Logic Assertions
- 0.0.20140425_7 devel
 =0      0.0.20140425_7Version of this port present on the latest quarterly branch. - Maintainer: brooks@FreeBSD.org
- Port Added: 2014-04-25 22:21:21
- Last Update: 2018-05-06 15:35:58
- SVN Revision: 469229
- Also Listed In: lang
- License: not specified in port
- WWW:
- https://www.cl.cam.ac.uk/research/security/ctsrd/tesla/
- Description:
- TESLA builds on our experiences developing the TrustedBSD MAC Framework
and Capsicum: our most critical security properties are frequently
safety (temporal) properties rather than static invariants. Current
tools for testing temporal properties are largely static, and unable to
work effectively on extremely large C-language software bases, such as
multi-million lines-of-code operating system kernels and web browsers.
TESLA borrows ideas from model checking, applying them in a dynamic
context using compiler-assisted instrumentation to continuously validate
temporal security assertions during software execution. We have
implemented a prototype of TESLA based on clang/LLVM AST transforms,
which is able to test both explicit automata against C implementations
(such as protocol state machines in the kernel and OpenSSL) and inline
assertions checking for missing access control checks in OS logic.
WWW: https://www.cl.cam.ac.uk/research/security/ctsrd/tesla/
 cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: tesla
- Flavors: there is no flavor information for this port.
- distinfo:
- SHA256 (CTSRD-TESLA-TESLA-0.0.20140425-3136f0f_GH0.tar.gz) = c3423aabd64a9b4926020098ec85baa99c50621ce3157970c72443217e18d4bb
SIZE (CTSRD-TESLA-TESLA-0.0.20140425-3136f0f_GH0.tar.gz) = 781902
No package information for this port in our database- Sometimes this happens. Not all ports have packages.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- clang33 : lang/clang33
- cmake : devel/cmake
- ninja : devel/ninja
- Runtime dependencies:
-
- clang33 : lang/clang33
- python2.7 : lang/python27
- Library dependencies:
-
- libprotobuf.so : devel/protobuf
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- N/A
- USES:
- cmake:outsource python:run shebangfix
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
0.0.20140425_7
06 May 2018 15:35:58
  |
brooks |
Remove this obsolete port of Temporally Enhanced Security Logic
Assertions (TESLA).
It's one of two dependencies on clang33/llvm33 and no one is using it
(we'd be seeing support requests if they were).
Should a new version be useful, we'll add a new port. |
0.0.20140425_7
11 Dec 2017 18:26:14
|
sunpoet |
Update devel/protobuf to 3.5.0
- Bump PORTREVISION for shlib change
Changes: https://github.com/google/protobuf/releases |
0.0.20140425_6
30 Nov 2017 06:13:35
 |
linimon |
For ports that are marked BROKEN on armv6, and also fail to build on
armv7, mark them so.
This is part two of a multipart commit to bring armv7 ports to parity
with armv6.
Approved by: portmgr (tier-2 blanket)
Obtained from: lonesome.com -exp run |
0.0.20140425_6
22 Sep 2017 10:48:29
|
mat |
Remove USES=execinfo.
PR: 220271
Submitted by: mat (review), Yasuhiro KIMURA (PR)
Sponsored by: Absolight
Differential Revision: https://reviews.freebsd.org/D11488 |
0.0.20140425_6
16 Aug 2017 15:44:49
|
sunpoet |
Update devel/protobuf to 3.4.0
- Bump PORTREVISION for shlib change
Changes: https://github.com/google/protobuf/releases |
0.0.20140425_5
25 Jun 2017 21:07:58
|
tcberner |
Make ninja opt-out in cmake.mk
Using ninja instead of make (1) can lead to significant speed ups while
building.
Therefore switch from having the ninja generator opt-in to having it opt-out.
Previously cmake-ports that wanted to use ninja could set
CMAKE_NINJA=yes
now, ports that do not work with ninja can set
cmake:<existing args>,noninja
Note, that needing this should be an exception and most often points to a broken
cmake of the port.
The ports using cmake were modified
* removed USES=gmake, if ninja is used
* removed MAKE_ARGS, if ninja is used
* added the cmake-argument noninja if necessary
PR: 219629
PR: 213331
Exp-run by: antoine
Reviewed by: rakuco
Differential Revision: https://reviews.freebsd.org/D10748 |
0.0.20140425_5
27 May 2017 22:16:51
|
linimon |
Mark some ports failing on armv6, for errors classified as "linker_error".
While here, pet portlint.
Approved by: portmgr (tier-2 blanket) |
0.0.20140425_5
17 May 2017 18:46:35
|
tcberner |
Fix shebangs
* Add python:run to USES -- as it installs python scripts.
Reviewed by: brooks
Approved by: brooks (maintainer), rakuco (mentor, implicit)
Differential Revision: https://reviews.freebsd.org/D10775 |
0.0.20140425_4
29 Apr 2017 15:43:47
|
sunpoet |
Update devel/protobuf to 3.3.0
- Remove USE_CSTD=c99: it was added for [1], now audio/clementine-player builds
fine without it
- Bump PORTREVISION for shlib change
Changes: https://github.com/google/protobuf/releases
PR: 178687 [1] |
0.0.20140425_3
29 Jan 2017 16:04:36
|
sunpoet |
Update devel/protobuf to 3.2.0
- Bump PORTREVISION for shlib change
Changes: https://github.com/google/protobuf/releases |
0.0.20140425_2
01 Jan 2017 03:45:13
|
sunpoet |
Remove BROKEN_FreeBSD_9
Approved by: portmgr (blanket) |
0.0.20140425_2
14 Dec 2016 17:58:20
|
sunpoet |
- Update devel/protobuf to 3.1.0
- Bump PORTREVISION for shlib change
Changes: https://github.com/google/protobuf/releases |
0.0.20140425_1
01 Apr 2016 14:00:57
|
mat |
Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.
With hat: portmgr
Sponsored by: Absolight |
0.0.20140425_1
20 Jan 2016 19:30:38
|
antoine |
Unbreak after r406603 |
0.0.20140425_1
06 May 2015 15:16:54
|
mat |
Update ports in the [bcd]* categories to not use GH_COMMIT.
With minor cleanups to make things simpler.
With hat: portmgr
Sponsored by: Absolight |
0.0.20140425_1
04 Oct 2014 15:12:45
|
sunpoet |
- Update to 2.6.0
- Update MASTER_SITES
- Add my LOCAL to MASTER_SITES
- Use USE_CSTD
- Use MAKE_CMD
- Reformat pkg-descr
- Update WWW
- Take maintainership
- Bump PORTREVISION for devel/protobuf shlib change
Changes: https://code.google.com/p/protobuf/source/browse/trunk/CHANGES.txt |
0.0.20140425
05 Aug 2014 06:40:47
|
bapt |
USES=execinfo |
0.0.20140425
13 Jul 2014 23:09:11
|
bapt |
Modernize LIB_DEPENDS
With hat: portmgr |
0.0.20140425
24 Jun 2014 15:14:03
|
brooks |
Doesn't build on 8 and 9 for different C++ support related reasons so
make BROKEN for now. |
0.0.20140425
25 Apr 2014 22:21:13
|
brooks |
New port of: Temporally Enhanced Security Logic Assertions (TESLA)
TESLA builds on our experiences developing the TrustedBSD MAC Framework
and Capsicum: our most critical security properties are frequently
safety (temporal) properties rather than static invariants. Current
tools for testing temporal properties are largely static, and unable to
work effectively on extremely large C-language software bases, such as
multi-million lines-of-code operating system kernels and web browsers.
TESLA borrows ideas from model checking, applying them in a dynamic
context using compiler-assisted instrumentation to continuously validate
temporal security assertions during software execution. We have
implemented a prototype of TESLA based on clang/LLVM AST transforms,
which is able to test both explicit automata against C implementations
(such as protocol state machines in the kernel and OpenSSL) and inline
assertions checking for missing access control checks in OS logic.
Sponsored by: DARPA, AFRL |
As an Amazon Associate I earn from qualifying purchases.