From 18bb9c0cd8e8b8f74347eef1a5afabe6233159d7 Mon Sep 17 00:00:00 2001 From: Robin Haberkorn Date: Sun, 3 Nov 2024 16:15:01 +0300 Subject: Added "infinite monkey"-style test (refs #26) Supposing that any monkey hitting keys on a typewriter, serving as a hardcopy SciTECO terminal, will sooner or later trigger bugs and crash the application, the new monkey-test.apl script emulates such a monkey. In fact it's a bit more elaborate as the generated macro follows the frequency distribution extracted from the corpus of SciTECO macro files (via monkey-parse.apl). This it is hoped, increases the chance to get into "interesting" parser states. This also adds a new hidden --sandbox argument, but it works only on FreeBSD (via Capsicum) so far. In sandbox mode, we cannot open any file or execute external commands. It is made sure, that SciTECO cannot assert in sandbox mode for scripts that would run without --sandbox, since assertions are the kind of things we would like to detect. SciTECO must be sandboxed during "infinite monkey" tests, so it cannot accidentally do any harm on the system running the tests. All macros in sandbox mode must currently be passed via --eval. Alternatively, we could add a test compilation unit and generate the test data directly in memory via C code. The new scripts are written in GNU APL 1.9 and will probably work only under FreeBSD. These scripts are not meant to be run by everyone. --- configure.ac | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'configure.ac') diff --git a/configure.ac b/configure.ac index 959afbc..870b7b0 100644 --- a/configure.ac +++ b/configure.ac @@ -148,6 +148,10 @@ case $host in ;; esac +# Optional support for sandboxing via FreeBSD's Capsicum. +AC_CHECK_FUNCS([cap_enter cap_getmode]) +AC_CHECK_HEADERS([sys/capsicum.h]) + # Checks for typedefs, structures, and compiler characteristics. AC_HEADER_STDBOOL AC_C_INLINE -- cgit v1.2.3