Mercurial > emacs
view lisp/emacs-lisp/tcover-unsafep.el @ 65680:ed770a0a7846
2005-09-24 Emilio C. Lopes <eclig@gmx.net>
* woman.el (woman-file-name):
* wid-edit.el (widget-file-prompt-value)
(widget-coding-system-prompt-value):
* w32-fns.el (set-w32-system-coding-system):
* vc.el (vc-version-diff, vc-annotate):
* textmodes/reftex-auc.el (reftex-arg-cite)
(reftex-arg-index-tag):
* textmodes/refer.el (refer-get-bib-files):
* textmodes/artist.el (artist-figlet-choose-font):
* terminal.el (terminal-emulator):
* replace.el (occur-read-primary-args):
* rect.el (string-rectangle, string-insert-rectangle):
* ps-print.el (ps-print-preprint):
* progmodes/pascal.el (pascal-goto-defun):
* progmodes/etags.el (visit-tags-table, visit-tags-table-buffer):
* progmodes/compile.el (compilation-find-file):
* printing.el (pr-interactive-n-up):
* play/animate.el (animate-birthday-present):
* net/rcompile.el (remote-compile):
* man.el (man, Man-goto-section, Man-follow-manual-reference):
* mail/rmailsum.el (rmail-summary-search-backward)
(rmail-summary-search):
* mail/rmailout.el (rmail-output-read-rmail-file-name)
(rmail-output-read-file-name):
* mail/rmail.el (rmail-search, rmail-search-backwards):
* mail/mailabbrev.el (merge-mail-abbrevs, rebuild-mail-abbrevs):
* locate.el (locate):
* international/quail.el (quail-show-keyboard-layout):
* international/mule.el (set-buffer-file-coding-system)
(revert-buffer-with-coding-system, set-file-name-coding-system)
(set-terminal-coding-system, set-keyboard-coding-system)
(set-next-selection-coding-system):
* international/mule-diag.el (describe-coding-system)
(describe-font, describe-fontset):
* international/mule-cmds.el (universal-coding-system-argument)
(search-unencodable-char, describe-input-method)
(set-language-environment, describe-language-environment):
* international/codepage.el (codepage-setup):
* international/code-pages.el (codepage-setup):
* info.el (Info-search, Info-follow-reference)
(Info-search-backward):
* emacs-lisp/advice.el (ad-read-advised-function)
(ad-read-advice-class, ad-clear-cache, ad-activate)
(ad-deactivate, ad-update, ad-unadvise, ad-read-advice-name)
(ad-enable-advice, ad-disable-advice, ad-remove-advice)
(ad-read-regexp):
* ediff-util.el (ediff-toggle-regexp-match):
* ediff-ptch.el (ediff-prompt-for-patch-file):
* dired-aux.el (dired-diff):
* diff.el (diff):
* cus-edit.el (custom-variable-prompt):
* calendar/timeclock.el (timeclock-ask-for-project):
* calc/calcalg3.el (calc-get-fit-variables):
* calc/calc-store.el (calc-edit-variable)
(calc-permanent-variable):
* vc-mcvs.el (vc-mcvs-register):
* shadowfile.el (shadow-define-literal-group):
* woman.el (woman-file-name):
* vc.el (vc-version-diff, vc-merge):
* textmodes/reftex-index.el (reftex-index-complete-tag):
* format.el (format-decode-buffer, format-decode-region):
* emulation/viper-cmd.el (viper-read-string-with-history):
* emacs-lisp/debug.el (cancel-debug-on-entry):
* emacs-lisp/checkdoc.el (checkdoc-this-string-valid-engine):
* ediff.el (ediff-merge-revisions)
(ediff-merge-revisions-with-ancestor, ediff-revision):
* completion.el (interactive-completion-string-reader):
* calc/calc-prog.el (calc-user-define-formula):
Follow convention for reading with the minibuffer.
author | Romain Francoise <romain@orebokech.com> |
---|---|
date | Sat, 24 Sep 2005 13:44:02 +0000 |
parents | 00f2dbd6f52a |
children | 067115a6e738 |
line wrap: on
line source
;;;; testcover-unsafep.el -- Use testcover to test unsafep's code coverage ;; Copyright (C) 2002, 2003, 2004, 2005 Free Software Foundation, Inc. ;; Author: Jonathan Yavner <jyavner@engineer.com> ;; Maintainer: Jonathan Yavner <jyavner@engineer.com> ;; Keywords: safety lisp utility ;; This file is part of GNU Emacs. ;; GNU Emacs is free software; you can redistribute it and/or modify ;; it under the terms of the GNU General Public License as published by ;; the Free Software Foundation; either version 2, or (at your option) ;; any later version. ;; GNU Emacs is distributed in the hope that it will be useful, ;; but WITHOUT ANY WARRANTY; without even the implied warranty of ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ;; GNU General Public License for more details. ;; You should have received a copy of the GNU General Public License ;; along with GNU Emacs; see the file COPYING. If not, write to the ;; Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, ;; Boston, MA 02110-1301, USA. (require 'testcover) (defvar safe-functions) ;;;These forms are all considered safe (defconst testcover-unsafep-safe '(((lambda (x) (* x 2)) 14) (apply 'cdr (mapcar '(lambda (x) (car x)) y)) (cond ((= x 4) 5) (t 27)) (condition-case x (car y) (error (car x))) (dolist (x y) (message "here: %s" x)) (dotimes (x 14 (* x 2)) (message "here: %d" x)) (let (x) (dolist (y '(1 2 3) (1+ y)) (push y x))) (let (x) (apply '(lambda (x) (* x 2)) 14)) (let ((x '(2))) (push 1 x) (pop x) (add-to-list 'x 2)) (let ((x 1) (y 2)) (setq x (+ x y))) (let ((x 1)) (let ((y (+ x 3))) (* x y))) (let* nil (current-time)) (let* ((x 1) (y (+ x 3))) (* x y)) (mapcar (lambda (x &optional y &rest z) (setq y (+ x 2)) (* y 3)) '(1 2 3)) (mapconcat #'(lambda (var) (propertize var 'face 'bold)) '("1" "2") ", ") (setq buffer-display-count 14 mark-active t) ;;This is not safe if you insert it into a buffer! (propertize "x" 'display '(height (progn (delete-file "x") 1)))) "List of forms that `unsafep' should decide are safe.") ;;;These forms are considered unsafe (defconst testcover-unsafep-unsafe '(( (add-to-list x y) . (unquoted x)) ( (add-to-list y x) . (unquoted y)) ( (add-to-list 'y x) . (global-variable y)) ( (not (delete-file "unsafep.el")) . (function delete-file)) ( (cond (t (aset local-abbrev-table 0 0))) . (function aset)) ( (cond (t (setq unsafep-vars ""))) . (risky-local-variable unsafep-vars)) ( (condition-case format-alist 1) . (risky-local-variable format-alist)) ( (condition-case x 1 (error (setq format-alist ""))) . (risky-local-variable format-alist)) ( (dolist (x (sort globalvar 'car)) (princ x)) . (function sort)) ( (dotimes (x 14) (delete-file "x")) . (function delete-file)) ( (let ((post-command-hook "/tmp/")) 1) . (risky-local-variable post-command-hook)) ( (let ((x (delete-file "x"))) 2) . (function delete-file)) ( (let (x) (add-to-list 'x (delete-file "x"))) . (function delete-file)) ( (let (x) (condition-case y (setq x 1 z 2))) . (global-variable z)) ( (let (x) (condition-case z 1 (error (delete-file "x")))) . (function delete-file)) ( (let (x) (mapc (lambda (x) (setcar x 1)) '((1 . 2) (3 . 4)))) . (function setcar)) ( (let (y) (push (delete-file "x") y)) . (function delete-file)) ( (let* ((x 1)) (setq y 14)) . (global-variable y)) ( (mapc 'car (list '(1 . 2) (cons 3 4) (kill-buffer "unsafep.el"))) . (function kill-buffer)) ( (mapcar x y) . (unquoted x)) ( (mapcar '(lambda (x) (rename-file x "x")) '("unsafep.el")) . (function rename-file)) ( (mapconcat x1 x2 " ") . (unquoted x1)) ( (pop format-alist) . (risky-local-variable format-alist)) ( (push 1 format-alist) . (risky-local-variable format-alist)) ( (setq buffer-display-count (delete-file "x")) . (function delete-file)) ;;These are actualy safe (they signal errors) ( (apply '(x) '(1 2 3)) . (function (x))) ( (let (((x))) 1) . (variable (x))) ( (let (1) 2) . (variable 1)) ) "A-list of (FORM . REASON)... that`unsafep' should decide are unsafe.") ;;;######################################################################### (defun testcover-unsafep () "Executes all unsafep tests and displays the coverage results." (interactive) (testcover-unmark-all "unsafep.el") (testcover-start "unsafep.el") (let (save-functions) (dolist (x testcover-unsafep-safe) (if (unsafep x) (error "%S should be safe" x))) (dolist (x testcover-unsafep-unsafe) (if (not (equal (unsafep (car x)) (cdr x))) (error "%S should be unsafe: %s" (car x) (cdr x)))) (setq safe-functions t) (if (or (unsafep '(delete-file "x")) (unsafep-function 'delete-file)) (error "safe-functions=t should allow delete-file")) (setq safe-functions '(setcar)) (if (unsafep '(setcar x 1)) (error "safe-functions=(setcar) should allow setcar")) (if (not (unsafep '(setcdr x 1))) (error "safe-functions=(setcar) should not allow setcdr"))) (testcover-mark-all "unsafep.el") (testcover-end "unsafep.el") (message "Done")) ;;; arch-tag: a7616c27-1998-47ae-9304-76d1439dbf29 ;; testcover-unsafep.el ends here.