/usr/lib/swipl/library/sandbox.pl
AllApplicationManualNameSummaryHelp

  • swipl
    • library
      • error.pl
      • apply.pl
      • lists.pl -- List Manipulation
      • debug.pl
      • broadcast.pl -- Event service
      • socket.pl -- Network socket (TCP and UDP) library
      • predicate_options.pl -- Access and analyse predicate options
      • shlib.pl
      • option.pl
      • uid.pl
      • unix.pl
      • syslog.pl
      • thread_pool.pl -- Resource bounded thread management
      • gensym.pl
      • settings.pl
      • arithmetic.pl
      • main.pl -- Provide entry point for scripts
      • readutil.pl -- Read utilities
      • ssl.pl
      • crypto.pl -- Cryptography and authentication library
      • pldoc.pl -- Process source documentation
      • operators.pl -- Manage operators
      • pairs.pl -- Operations on key-value lists
      • prolog_source.pl -- Examine Prolog source-files
      • pengines.pl -- Pengines: Web Logic Programming Made Easy
      • record.pl -- Access compound arguments by name
      • memfile.pl
      • sgml.pl -- SGML, XML and HTML parser
      • quasi_quotations.pl -- Define Quasi Quotation syntax
      • pure_input.pl -- Pure Input from files and streams
      • time.pl -- Time and alarm library
      • uri.pl -- Process URIs
      • solution_sequences.pl -- Modify solution sequences
      • uuid.pl -- Universally Unique Identifier (UUID) Library
      • ordsets.pl -- Ordered set manipulation
      • random.pl -- Random numbers
      • base64.pl -- Base64 encoding and decoding
      • aggregate.pl -- Aggregation operators on backtrackable predicates
      • pcre.pl -- Perl compatible regular expression matching for SWI-Prolog
      • pengines_io.pl -- Provide Prolog I/O for HTML clients
      • sandbox.pl -- Sandboxed Prolog code
        • sandbox_allowed_directive/1
        • sandbox_allowed_expansion/1
        • sandbox_allowed_goal/1
        • safe_call/1
        • safe_goal/1
        • safe_primitive/1
        • safe_global_variable/1
        • safe_meta/2
        • format_calls/3
        • safe_directive/1
        • safe_prolog_flag/2
      • apply_macros.pl -- Goal expansion rules to avoid meta-calling
      • assoc.pl -- Binary associations
      • prolog_format.pl -- Analyse format specifications
      • yall.pl -- Lambda expressions
      • sha.pl -- SHA secure hashes
      • process.pl -- Create processes and redirect I/O
      • filesex.pl -- Extended operations on files
      • zlib.pl -- Zlib wrapper for SWI-Prolog
      • bdb.pl -- Berkeley DB interface
      • hash_stream.pl -- Maintain a hash on a stream
      • md5.pl -- MD5 hashes
      • porter_stem.pl
      • csv.pl -- Process CSV (Comma-Separated Values) data
      • pprint.pl -- Pretty Print Prolog terms
      • atom.pl -- Operations on atoms
      • ctypes.pl -- Character code classification
      • modules.pl -- Module utility predicates
      • occurs.pl -- Finding and counting sub-terms
      • prolog_xref.pl -- Prolog cross-referencer data collection
      • prolog_colour.pl
      • lazy_lists.pl -- Lazy list handling
      • prolog_code.pl -- Utilities for reasoning about code
      • ugraphs.pl -- Graph manipulation library
      • xpath.pl -- Select nodes in an XML DOM
      • iostream.pl -- Utilities to deal with streams
      • doc_http.pl -- Documentation server
      • url.pl -- Analysing and constructing URL
      • www_browser.pl -- Open a URL in the users browser
      • prolog_pack.pl -- A package manager for Prolog
      • prolog_config.pl -- Provide configuration information
      • git.pl -- Run GIT commands
      • strings.pl -- String utilities
      • dif.pl -- The dif/2 constraint
      • dialect.pl -- Support multiple Prolog dialects
      • edinburgh.pl -- Some traditional Edinburgh predicates
      • ansi_term.pl -- Print decorated text to ANSI consoles
      • terms.pl -- Term manipulation
      • listing.pl -- List programs and pretty print clauses
      • persistency.pl -- Provide persistent dynamic predicates
      • pengines_sandbox.pl -- Declare Pengine interaction sandbox-safe
      • term_to_json.pl
      • prolog_stack.pl -- Examine the Prolog stack
      • prolog_clause.pl -- Get detailed source-information about a clause
      • prolog_breakpoints.pl -- Manage Prolog break-points
      • wfs.pl -- Well Founded Semantics interface
      • mallocinfo.pl -- Memory allocation details
      • chr.pl
      • sort.pl
      • dicts.pl -- Dict utilities
      • varnumbers.pl -- Utilities for numbered terms
      • rbtrees.pl -- Red black trees
      • prolog_stream.pl -- A stream with Prolog callbacks
      • backcomp.pl -- Backward compatibility
      • charsio.pl -- I/O on Lists of Character Codes
      • date.pl -- Process dates and times
      • statistics.pl -- Get information about resource usage
      • nb_set.pl -- Non-backtrackable sets
      • prolog_wrap.pl -- Wrapping predicates
      • qsave.pl -- Save current program as a state or executable
      • zip.pl -- Access resource ZIP archives
      • redis.pl -- Redis client
      • plunit.pl -- Unit Testing
      • quintus.pl -- Quintus compatibility
      • optparse.pl -- command line parsing
      • prolog_debug.pl -- User level debugging tools
      • threadutil.pl -- Interactive thread utilities
      • stomp.pl -- STOMP client.
      • portray_text.pl -- Portray text
      • base32.pl -- Base32 encoding and decoding
      • codesio.pl -- I/O on Lists of Character Codes
      • coinduction.pl -- Co-Logic Programming
      • heaps.pl -- heaps/priority queues
      • when.pl -- Conditional coroutining
      • table.pl
      • prolog_profile.pl -- Execution profiler
      • system.pl -- System utilities
      • prolog_versions.pl -- Demand specific Prolog versions
      • rdf.pl -- RDF/XML parser
      • pwp.pl -- Prolog Well-formed Pages
      • sgml_write.pl -- XML/SGML writer module
      • rdf_triple.pl -- Create triples from intermediate representation
      • rdf_parser.pl
      • rewrite_term.pl
      • increval.pl -- Incremental dynamic predicate modification
      • tty.pl -- Terminal operations
      • tables.pl -- XSB interface to tables
      • edit.pl -- Editor interface
      • double_metaphone.pl -- Phonetic string matching
      • unicode.pl -- Unicode string handling
      • prolog_autoload.pl -- Autoload all dependencies
      • check.pl -- Consistency checking
      • prolog_codewalk.pl -- Prolog code walker
      • yaml.pl -- Process YAML data
      • utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
      • mqi.pl
      • make.pl -- Reload modified source files
      • xsdp_types.pl -- XML-Schema primitive types
      • readline.pl -- GNU readline interface
      • hashtable.pl -- Hash tables
      • redis_streams.pl -- Using Redis streams
      • thread.pl -- High level thread primitives
      • archive.pl -- Access several archive formats
      • editline.pl -- BSD libedit based command line editing
      • prolog_history.pl -- Per-directory persistent commandline history
      • streams.pl -- Manage Prolog streams
      • shell.pl -- Elementary shell commands
      • writef.pl -- Old-style formatted write
      • prolog_trace.pl -- Print access to predicates
      • prolog_metainference.pl -- Infer meta-predicate properties
      • protobufs.pl -- Google's Protocol Buffers ("protobufs")
      • files.pl
      • doc_files.pl -- Create stand-alone documentation files
      • snowball.pl -- The Snowball multi-lingual stemmer library
      • test_cover.pl -- Clause coverage analysis
      • streampool.pl -- Input multiplexing
      • udp_broadcast.pl -- A UDP broadcast proxy
      • crypt.pl
      • odbc.pl
      • doc_latex.pl -- PlDoc LaTeX backend
      • paxos.pl -- A Replicated Data Store
      • isub.pl -- isub: a string similarity measure
      • rdf_write.pl -- Write RDF/XML from a list of triples
      • intercept.pl -- Intercept and signal interface
      • c14n2.pl -- C14n2 canonical XML documents
      • explain.pl -- Describe Prolog Terms
      • readln.pl -- Read line as list of tokens
      • macros.pl -- Macro expansion
      • fastrw.pl -- Fast reading and writing of terms
      • help.pl -- Text based manual
      • rlimit.pl
      • xmlenc.pl -- XML encryption library
      • xmldsig.pl -- XML Digital signature
 safe_directive(:Directive) is semidet[multifile, library(sandbox)]
Hook to declare additional directives as safe. The argument is a term Module:Directive (without :- wrapper). In almost all cases, the implementation must verify that the Module is the current load context as illustrated below. This check is not performed by the system to allow for cases where particular cross-module directives are allowed.
sandbox:safe_directive(M:Directive) :-
    prolog_load_context(module, M),
    ...