Symbolic execution: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 06:3906:39, 24 May 2025 Citation bot talk contribs 17,099 bytes +47 Added url. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 773/892 undo

curprev 14:5914:59, 29 April 2025 Headbomb talk contribs 17,052 bytes −78 →Tools: | Add: journal, title. | Use this tool. Report bugs. | #UCB_Gadget undo

curprev 22:2522:25, 27 April 2025 Citation bot talk contribs 17,130 bytes +92 Add: arxiv, volume, journal. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 426/492 undo

curprev 18:0418:04, 15 April 2025 130.239.190.39 talk 17,038 bytes +1 mixing a missing space undo

curprev 15:4615:46, 31 March 2025 Zapashcanon talk contribs m 17,037 bytes +80 fix links undo
curprev 15:4215:42, 31 March 2025 Zapashcanon talk contribs 16,957 bytes +465 add the Owi tool undo Tag: Disambiguation links added

curprev 17:4817:48, 28 January 2025 ExplodingCabbage talk contribs 16,492 bytes +1 Undid revision 1272341544 by Coadon Pile (talk) There was no error here. "Means" as used here is a singular noun meaning "method", just as in the phrase "a means of communication". undo Tag: Undo
curprev 04:1704:17, 28 January 2025 Coadon Pile talk contribs 16,491 bytes −1 subject-verb plurality. "a means" to "a mean". undo Tag: Reverted

curprev 13:1913:19, 19 January 2025 ExplodingCabbage talk contribs 16,492 bytes −117 Undid revision 1264379372 by Onekx666 (talk). I do not think it is plausible anyone would arrive at this page expecting to read about capital punishment. Pages with titles that are MUCH more plausibly related to capital punishment ("Writ of execution", "Stay of execution") do not have such a disambiguation line. undo Tag: Undo

curprev 20:0920:09, 21 December 2024 Onekx666 talk contribs 16,609 bytes +117 Added disambiguation for execution, and a link to capital punishment undo Tags: Reverted Disambiguation links added

curprev 10:1710:17, 12 August 2024 Citation bot talk contribs 16,492 bytes +34 Add: date, hdl. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 521/748 undo

curprev 21:4521:45, 16 March 2024 Chrisdmiddleton talk contribs 16,458 bytes 0 removed Category:Computer science; added Category:Program analysis using HotCat undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 20:5420:54, 25 January 2024 David Eppstein talk contribs 16,458 bytes +34 Corina Păsăreanu undo

curprev 15:0215:02, 16 January 2024 BD2412 talk contribs m 16,424 bytes −12 clean up spacing around commas and other punctuation fixes, replaced: ,S → , S, ,p → , p undo Tag: AWB

curprev 18:3718:37, 15 November 2023 Citation bot talk contribs 16,436 bytes +20 Add: publisher. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 533/1109 undo

curprev 10:2110:21, 25 June 2023 AndyGordon talk contribs 16,416 bytes +53 Importing Wikidata short description: "Technique for Program Analysis" undo Tag: Shortdesc helper

curprev 23:5523:55, 7 May 2023 129.219.8.94 talk 16,363 bytes +100 →Tools undo

curprev 04:0304:03, 13 April 2023 Kraks talk contribs m 16,263 bytes +93 Adding tool GenSym undo Tag: Visual edit: Switched

curprev 18:4918:49, 26 February 2023 Siddharthist talk contribs m 16,170 bytes +26 →Path explosion: Main -> path explosion undo Tag: 2017 wikitext editor

curprev 08:1508:15, 13 February 2023 93.30.145.8 talk 16,144 bytes +14 →Tools undo

curprev 15:4315:43, 3 November 2022 105.161.213.89 talk 16,130 bytes −1 →Example undo Tags: Manual revert Mobile edit Mobile web edit
curprev 15:4215:42, 3 November 2022 105.161.213.89 talk 16,131 bytes +1 →Example undo Tags: Reverted Mobile edit Mobile web edit
curprev 07:1607:16, 3 November 2022 89.0.128.8 talk 16,130 bytes −2 changed then to if undo

curprev 19:0319:03, 23 September 2022 Graxwell talk contribs m 16,132 bytes −1 →Memory aliasing undo
curprev 19:0319:03, 23 September 2022 Graxwell talk contribs 16,133 bytes +23 →Memory aliasing undo

curprev 11:3311:33, 31 August 2022 Fwxc talk contribs 16,110 bytes +3 Fix typo undo
curprev 11:3211:32, 31 August 2022 Fwxc talk contribs 16,107 bytes −94 Remove JPF from tools list since it is a model checker, not a SymEx engine. undo

curprev 19:3519:35, 21 March 2022 Citation bot talk contribs 16,201 bytes +69 Add: title. Changed bare reference to CS1/2. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | Linked from User:BrownHairedGirl/Articles_with_bare_links | #UCB_webform_linked 1267/2847 undo

curprev 15:0815:08, 15 March 2022 Jrnr601 talk contribs 16,132 bytes +72 →Tools: Add 'Maat' to symbolic execution engines undo Tag: Visual edit: Switched

curprev 12:1812:18, 23 February 2022 Nealmcb talk contribs 16,060 bytes +13 1970s undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

curprev 04:4804:48, 20 January 2022 Luke1337 talk contribs 16,047 bytes −19 Move GitHub link in History section to the external link section undo

curprev 05:1105:11, 30 December 2021 WikiCleanerBot talk contribs m 16,066 bytes −1 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 14:1914:19, 20 December 2021 5.151.46.92 talk 16,067 bytes −16 Change Mythril-Classic to Mythril undo

curprev 18:4918:49, 13 December 2021 Wordhack talk contribs m 16,083 bytes +249 →Path explosion undo

curprev 23:4023:40, 5 October 2021 2601:1c0:c801:b1ee:24a4:1d69:bb43:b456 talk 15,834 bytes −13 →Tools: , fixed dead link with an updated URL undo

curprev 11:4611:46, 11 July 2021 Cewbot talk contribs m 15,847 bytes −36 Fix broken anchor: 2018-01-26 #Ethereum Virtual Machine⇝Ethereum#Virtual machine, 2018-01-26 #Ethereum Virtual Machine⇝Ethereum#Virtual machine undo

curprev 00:1300:13, 30 June 2021 GreenC bot talk contribs 15,883 bytes +43 Rescued 1 archive link. Wayback Medic 2.5 undo

curprev 04:2904:29, 20 May 2021 JoeHillen talk contribs 15,840 bytes +85 →Tools: Add crucible undo

curprev 09:2609:26, 14 May 2021 Novem Linguae talk contribs 15,755 bytes +22 {{Software testing}} undo

curprev 22:1122:11, 13 May 2021 Dokidaki-ylc talk contribs m 15,733 bytes +97 No edit summary undo Tag: Visual edit

curprev 07:1507:15, 11 May 2021 Hooman Mallahzadeh talk contribs m 15,636 bytes +65 →Example undo
curprev 06:3306:33, 11 May 2021 Hooman Mallahzadeh talk contribs m 15,571 bytes +16 →Environment interactions: Hyperlink. undo Tag: Visual edit

curprev 13:5113:51, 10 May 2021 Hooman Mallahzadeh talk contribs m 15,555 bytes +32 →Limitations: Hyperlink. undo Tag: Visual edit

curprev 13:5613:56, 9 May 2021 Hooman Mallahzadeh talk contribs m 15,523 bytes 0 →Program-dependent efficiency: lower case. undo Tag: Visual edit: Switched

curprev 14:1114:11, 7 May 2021 Hooman Mallahzadeh talk contribs m 15,523 bytes +104 Hyperlinks added. undo Tag: Visual edit

curprev 19:2319:23, 22 April 2021 2a01:e34:ec57:32c0:dbc2:f44d:a101:a22 talk 15,419 bytes +3 →Tools: Cleanup last BINSEC update undo
curprev 19:2219:22, 22 April 2021 2a01:e34:ec57:32c0:dbc2:f44d:a101:a22 talk 15,416 bytes −32 Update the info line for Binsec: new website, supported architectures undo

curprev 01:5201:52, 12 April 2021 124.49.156.68 talk 15,448 bytes +20 →Tools: Add link to Java Pathfinder page undo

curprev 15:4115:41, 8 April 2021 Comp.arch talk contribs m 15,428 bytes −2 No edit summary undo Tag: 2017 wikitext editor

curprev 09:4409:44, 2 February 2021 Snjkdn talk contribs m 15,430 bytes +1 Update link to HTTPS undo

Symbolic execution: Revision history

24 May 2025

29 April 2025

27 April 2025

15 April 2025

31 March 2025

28 January 2025

19 January 2025

21 December 2024

12 August 2024

16 March 2024

25 January 2024

16 January 2024

15 November 2023

25 June 2023

7 May 2023

13 April 2023

26 February 2023

13 February 2023

3 November 2022

23 September 2022

31 August 2022

21 March 2022

15 March 2022

23 February 2022

20 January 2022

30 December 2021

20 December 2021

13 December 2021

5 October 2021

11 July 2021

30 June 2021

20 May 2021

14 May 2021

13 May 2021

11 May 2021

10 May 2021

9 May 2021

7 May 2021

22 April 2021

12 April 2021

8 April 2021

2 February 2021