Sylv/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • c02ce53227 Adding make-bsub.py, which is needed by batcher.sh. Cas Cremers 2011-01-26 13:21:02 +01:00
  • 6cb4313bec Brutus support restored the batcher script. Cas Cremers 2011-01-26 13:18:29 +01:00
  • fea2bcf477 Reindenting code. Cas Cremers 2011-01-25 17:33:12 +01:00
  • 68409e14ad Synchronise test batch files. Cas Cremers 2011-01-25 17:32:54 +01:00
  • 214c607529 Slightly nicer code. Cas Cremers 2011-01-25 17:32:19 +01:00
  • 1814a2d7b3 BUGFIX: Removed obsolete code that was destroying commit/agreement functionality when filtering. Cas Cremers 2011-01-25 17:30:59 +01:00
  • 6286a2c810 Added test scripts for book and iso. Cas Cremers 2011-01-25 10:24:37 +01:00
  • 88ee944c4b BUGFIX: Problem when progressbar.py missing, problem with zero correct claims. Cas Cremers 2011-01-24 21:39:35 +01:00
  • 19749e0293 Being more careful about adding scripts etc. Cas Cremers 2011-01-24 20:58:53 +01:00
  • f883499d07 CHANGE: Changed setup of running & commit. Cas Cremers 2011-01-24 17:32:24 +01:00
  • b01bfc4dcd Merge branch 'MPA' of ssh://brutus.ethz.ch/~/src/scyther-MPA into MPA Cas Cremers 2011-01-21 17:40:47 +01:00
  • fda39f7eab BUGFIX: Skipping running/commit signals caused bugs in graphviz output. Cas Cremers 2011-01-21 17:40:10 +01:00
  • be6f7b481d Updating mpa test scripts. Cas Cremers 2011-01-21 17:39:05 +01:00
  • 985397c8b6 Cache structure change: from Cache/XX/file to Cache/XX/YY/file Cas Cremers 2011-01-21 17:38:45 +01:00
  • 63aefc1c46 BUGFIX: makedirs wasn't working as expected, reverting to builtin. Cas Cremers 2011-01-21 17:38:14 +01:00
  • fa8440c8e5 BUGFIX: Silly typo. Cas Cremers 2011-01-18 17:05:07 +01:00
  • 5f7138c300 BUGFIX: Partial implementation of chosen name attacks could yield false type flaw attacks. Cas Cremers 2011-01-18 17:03:20 +01:00
  • b7ab9aefeb NEW: Added default SessionKey type. Cas Cremers 2011-01-04 15:48:49 +01:00
  • 66e18deb3f NEW: Added claims: Commit and Running. Cas Cremers 2011-01-04 15:10:14 +01:00
  • 2fb0ecde97 NEW: Added Aliveness and Weak Agreement claims. Cas Cremers 2011-01-04 15:18:22 +01:00
  • 6afcfe1d10 NEW: Added SID & SKR dummy claims. Cas Cremers 2011-01-04 15:17:52 +01:00
  • 04787e5516 Re-allowing positional arguments for test-mpa.py, i.e., command line specification of input files. Cas Cremers 2011-01-04 14:14:35 +01:00
  • af25cfc9a0 Better MPA scans and added pickle/JSON output options. Cas Cremers 2010-12-31 15:43:27 +01:00
  • 9624c49885 Disable some aggressive error reporting: unclear why this is actually invalid per se in the presence of agent name variables (role names) with non-basic typing. Cas Cremers 2010-12-31 15:43:00 +01:00
  • ed147bbace Bugfix on empty input. Cas Cremers 2010-12-31 15:42:01 +01:00
  • 59080a2b5c Updating protocol descriptions. Cas Cremers 2010-12-31 15:41:52 +01:00
  • 94c9f1b444 No longer stop at first MPA attack: scan for all. Cas Cremers 2010-12-27 22:31:15 +01:00
  • 5ee0f7563b Improving latex output of MPA test, expanding glue functionality. Cas Cremers 2010-12-27 22:30:58 +01:00
  • b6c67dec23 Initial latex output option that generations correct claims table. Cas Cremers 2010-12-27 13:32:25 +01:00
  • 5ffe3d2752 Added more verbosity to some parts with -v switch. Cas Cremers 2010-12-26 23:10:39 +01:00
  • a21aeccad0 Fix caching discrepancy when relying on Scyther default options. Cas Cremers 2010-12-26 23:09:30 +01:00
  • dd49526e02 Reintroduced ksl protocol description. Cas Cremers 2010-12-12 22:13:18 +01:00
  • 2ec70106ba MPA: Improved the attack summaries. Cas Cremers 2010-11-24 17:13:26 +01:00
  • d96ffa3354 Added more Woo-Lam-Pi variants. Cas Cremers 2010-11-24 17:13:14 +01:00
  • cecff7f55e Refactoring options. Cas Cremers 2010-11-23 15:09:43 +01:00
  • 3007887f38 Near complete rewrite of the MPA test script. Cas Cremers 2010-11-15 23:20:48 +01:00
  • 08ae9a2ac9 MPA: Added code for testing self-initiator stuff. Cas Cremers 2010-11-15 17:39:03 +01:00
  • edba6aac7f MPA: Added --extravert option to pass on to backend. Cas Cremers 2010-11-15 10:18:20 +01:00
  • 135fbaf726 MPA: More detailed reporting of results. Cas Cremers 2010-11-15 10:18:01 +01:00
  • 31a1635a07 MPA: Added switch for the max number of parallel protocols in MPA attacks found. Cas Cremers 2010-11-15 10:17:29 +01:00
  • f97afc4a62 MPA: Added --plain option for output to text files (disables progress bars) Cas Cremers 2010-11-15 10:16:17 +01:00
  • b1f993a6c9 BUGFIX: Use /usr/bin/env to locate the correct Python interpreter. Cas Cremers 2010-11-12 14:20:53 +01:00
  • 9a04264d39 MPA: Improving test script with basic command-line options. Cas Cremers 2010-11-12 14:12:23 +01:00
  • 225a839dbc Improving summary output. Cas Cremers 2010-11-12 13:28:22 +01:00
  • 573f581800 Updating test script to isolate --init-uniq cases as well. Cas Cremers 2010-11-12 10:37:48 +01:00
  • 270eef6a39 BUGFIX: Progressbar dummy should exist for MPA script. Cas Cremers 2010-11-11 12:19:35 +01:00
  • 266e5fb26b BRUTUS: Added special build script. Cas Cremers 2010-11-11 12:11:55 +01:00
  • 8ddd955415 MPA: Better test setup. Cas Cremers 2010-11-11 12:08:53 +01:00
  • 65074352c3 MPA: Improving the summaries given by the test script. Cas Cremers 2010-11-11 11:16:59 +01:00
  • 01eb5854cf EFFICIENCY: If a new dependency overlaps with an old one, we don't have to recompute the closure. Cas Cremers 2010-11-10 23:58:59 +01:00
  • 6cd8007ab0 EFFICIENCY: New (default) heuristic. Cas Cremers 2010-11-10 22:01:38 +01:00
  • e42aa1215e Scyther.py: Added Caching to Scyther's Python interface. Cas Cremers 2010-11-09 12:05:18 +01:00
  • cbb66ea794 Scyther.py: Improving Scyther python interface by giving options and filenames when reporting an error. Cas Cremers 2010-11-09 11:09:31 +01:00
  • fac14fc950 Added a new subdirectory with protocols for MPA experiments. Cas Cremers 2010-11-09 10:05:34 +01:00
  • 96e52a3724 Expanding test script for full MPA analysis. Cas Cremers 2010-11-09 10:07:49 +01:00
  • fcf694dbd9 CLEANUP: Reindenting code. Cas Cremers 2010-11-11 00:08:09 +01:00
  • 619ecf7673 Added commented-out code to use llvm as a compiler instead of gcc when needed. Cas Cremers 2010-11-10 23:09:37 +01:00
  • c25f6efd6a SPDL: Introduced 'hashfunction f;' construct to input language. Cas Cremers 2009-04-28 16:28:16 +02:00
  • 4ac74f321f SPDL: Introduced preconstructed PKI with pk/sk/k. Cas Cremers 2010-11-10 11:15:00 +01:00
  • 03a8a1b6e7 BUGFIX: Redundant parameter to eprint. Cas Cremers 2010-11-10 23:15:52 +01:00
  • 2557d308bb CLEANUP: Add timing output to proof output. Cas Cremers 2010-11-10 23:15:05 +01:00
  • 6b3d572e3b BUGFIX: Fixed long-standing bug with timer values, wrongly using CLOCKS_PER_SEC. Cas Cremers 2010-11-10 23:13:29 +01:00
  • 5c53d4bb9e Better reindent script (from newCompromise branch) Cas Cremers 2010-11-10 21:58:33 +01:00
  • 6d9d89eca2 Introduced 'fresh' for fresh value generation and added deprecation warning for 'const' usage. Cas Cremers 2010-01-05 13:45:19 +01:00
  • 519a9d0a81 Added factored-out 'warning_pre' function. Cas Cremers 2010-01-05 13:43:00 +01:00
  • a7f68bcb40 Removed Eve from one demo file. Cas Cremers 2010-06-03 22:47:29 +02:00
  • e5fc05a379 Correctly escaping program file name. Cas Cremers 2010-05-16 00:36:06 +02:00
  • dc4dc34624 String commands require shell=True. Cas Cremers 2010-05-16 00:33:53 +02:00
  • d1b334765b Updated image construction code to also use subprocess.Popen. Cas Cremers 2010-05-16 00:13:33 +02:00
  • 1f75f73cb0 Added realistic check for graphviz/dot. Cas Cremers 2010-05-15 23:27:11 +02:00
  • 7d03f22b24 Added new 'safeCommandOutput' command to Scyther/Misc and force use of Python 2.4 or later. Cas Cremers 2010-05-15 23:26:44 +02:00
  • feb400c610 Added GUI error message if wxPython is not present. Cas Cremers 2010-05-15 22:56:48 +02:00
  • f8ad858d87 Removed huge file; unclear why this was in here anyway. Cas Cremers 2010-05-11 10:58:05 +02:00
  • a45172583f Removed obsolete bibliography data from README. Cas Cremers 2010-05-02 23:36:33 +02:00
  • 2a2a087cf6 GUI BUGFIX: On some file systems, problems with case-insensitivity and name clash between sys module and local. Cas Cremers 2009-04-30 15:06:28 +02:00
  • cd33fb3e14 BUGFIX: Paths with control characters (e.g. $) were causing trouble. Cas Cremers 2009-04-30 13:40:06 +02:00
  • d633a62f0d BUGFIX: C-minimality was tripping over claims. Cas Cremers 2008-11-09 15:11:43 +01:00
  • f21c02e772 BUGFIX: Build scripts did not always build unix version correctly. Cas Cremers 2008-09-15 15:57:30 +02:00
  • 97991116bd Fixed release scripts to work with new git conventions. Cas Cremers 2008-09-10 11:20:50 +02:00
  • e3268bb8e5 GUI: Added a large set of possible output formats to the right-click menu. Cas Cremers 2008-08-27 10:04:22 +02:00
  • 63471c5053 Code cleanup for GUI code. Cas Cremers 2008-08-27 10:02:20 +02:00
  • 8471f13da3 Added 'prune' switch support in GUI. Cas Cremers 2008-08-25 16:59:15 +02:00
  • b352044f92 BUGFIX: PIL is tested at the start of the program. Cas Cremers 2008-08-25 14:59:42 +02:00
  • a020cffec7 GUI: Added popup menu to save graphviz (.dot) data. Cas Cremers 2008-08-26 17:14:08 +02:00
  • 6ffdda4a3c BUGFIX: Graph output correct removal of function applications. Cas Cremers 2008-08-26 13:22:55 +02:00
  • 77cc97c03b Added a note for code cleanup. Cas Cremers 2008-08-21 22:32:19 +02:00
  • 0c06cb7a30 Added debug build script. Cas Cremers 2008-05-27 17:21:45 +02:00
  • 76bf6328b6 Nicer crash handling for PIL problem with a warning etc. Cas Cremers 2008-05-02 17:10:29 +02:00
  • eb64f68968 Added loop script which I had always wanted before. Cas Cremers 2008-03-26 13:53:08 +01:00
  • 630f6e9459 Added large delta-test script. Cas Cremers 2008-08-21 21:20:16 +02:00
  • 3e3c2d7b07 Rewrote some code for humans to read, i.e. strcmp wrapper. Cas Cremers 2008-08-20 17:20:32 +02:00
  • 8f01637528 Output should also yield 'recv' instead of 'read'. Cas Cremers 2008-08-20 16:16:18 +02:00
  • aaf27779a3 Allow for use of RECV instead of READ. Cas Cremers 2008-08-20 16:15:27 +02:00
  • 739f59174f Removed unused functions. Cas Cremers 2008-08-21 16:58:12 +02:00
  • 1a7aa73b26 Created a small program that can find unused functions. Cas Cremers 2008-08-20 16:02:19 +02:00
  • feb3827ba1 BUGFIX: Fixed crash on some include file cases. Cas Cremers 2008-07-31 17:37:20 +02:00
  • 9605d5e772 Introduced "all attacks" switch in GUI, and a bugfix. Cas Cremers 2008-07-30 00:03:46 +02:00
  • a0a377a84f Added switch to disable verbose exit codes. Cas Cremers 2008-06-16 18:57:28 +02:00
  • c729d13a00 Reindent of the code revealed that some was not indented nicely yet. Silly. Cas Cremers 2008-03-23 15:55:51 +09:00
  • 4c469cf848 Added initial test script for the constraint solver module. Cas Cremers 2008-03-14 00:01:25 +01:00