mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-24 09:25:01 +00:00
Code Issues Releases Activity

Remove this obsolete port of Temporally Enhanced Security Logic

Browse Source 
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.
This commit is contained in:
Brooks Davis 2018-05-06 15:35:58 +00:00
parent 9be2bb22a2
commit 734981e589
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=469229
7 changed files with 1 additions and 72 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
MOVED
View File

@ -10178,3 +10178,4 @@ lang/py-clojure_py||2018-04-30|Has expired: Upstream disappeared and it does not
textproc/rubygem-escape_utils-rails4|textproc/rubygem-escape_utils|2018-04-30|Has expired: Use textproc/rubygem-escape_utils instead
databases/rubygem-seed-fu236|databases/rubygem-seed-fu|2018-05-01|Has expired: Obsoleted by update of www/gitlab. Please use databases/rubygem-seed-fu
security/polarssl13||2018-05-01|Has expired: has reached end of life
devel/tesla/||2018-05-06|Outdated and almost certainly unused

1
devel/Makefile
View File

@ -6108,7 +6108,6 @@
SUBDIR += tclxml
SUBDIR += tdl
SUBDIR += terminality
SUBDIR += tesla
SUBDIR += tevent
SUBDIR += tex-kpathsea
SUBDIR += tex-libtexlua

32
devel/tesla/Makefile
View File

@ -1,32 +0,0 @@
# $FreeBSD$
PORTNAME= tesla
DISTVERSION= 0.0.20140425
PORTREVISION= 7
CATEGORIES= devel lang
MAINTAINER= brooks@FreeBSD.org
COMMENT= Temporally Enhanced Security Logic Assertions
BUILD_DEPENDS= clang33:lang/clang33
RUN_DEPENDS= clang33:lang/clang33
LIB_DEPENDS= libprotobuf.so:devel/protobuf
BROKEN_armv6= fails to link: cmTC_8106f uses VFP register arguments, testCCompiler.c.o does not
BROKEN_armv7= fails to link: cmTC_8106f uses VFP register arguments, testCCompiler.c.o does not
SHEBANG_FILES= scripts/highlight-transitions
USES= cmake:outsource python:run shebangfix
USE_GITHUB= yes
GH_ACCOUNT= CTSRD-TESLA
GH_PROJECT= TESLA
GH_TAGNAME= 3136f0f
CC= clang33
CXX= clang++33
CMAKE_ARGS+= -DCMAKE_LLVM_CONFIG=llvm-config33
.include <bsd.port.mk>

2
devel/tesla/distinfo
View File

@ -1,2 +0,0 @@
SHA256 (CTSRD-TESLA-TESLA-0.0.20140425-3136f0f_GH0.tar.gz) = c3423aabd64a9b4926020098ec85baa99c50621ce3157970c72443217e18d4bb
SIZE (CTSRD-TESLA-TESLA-0.0.20140425-3136f0f_GH0.tar.gz) = 781902

11
devel/tesla/files/patch-doc__CMakeLists.txt
View File

@ -1,11 +0,0 @@
--- ./doc/CMakeLists.txt.orig 2014-04-15 09:28:42.000000000 +0000
+++ ./doc/CMakeLists.txt 2014-04-25 22:01:46.147952919 +0000
@@ -15,7 +15,7 @@
#
# Static HTML content.
#
-add_subdirectory(html)
+#add_subdirectory(html)
#

15
devel/tesla/pkg-descr
View File

@ -1,15 +0,0 @@
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/

11
devel/tesla/pkg-plist
View File

@ -1,11 +0,0 @@
bin/tesla
bin/tesla-analyse
bin/tesla-cat
bin/tesla-get-triple
bin/tesla-highlight
bin/tesla-instrument
bin/tesla-print
include/libtesla.h
include/tesla-macros.h
include/tesla.h
lib/libtesla.so