Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking

2016 IEEE International Conference on Software Quality, Reliability and Security (QRS) ◽

10.1109/qrs.2016.35 ◽

2016 ◽

Author(s):

Tobias F. Pfeffer ◽

Stefan Sydow ◽

Joachim Fellmuth ◽

Paula Herber

Keyword(s):

Equivalence Checking ◽

Legacy Code ◽

Location Equivalence

Download Full-text

DESIGN AND ANALYSIS OF AUTOMATIC VERIFICATION OF REFACTORED LEGACY CODE IN SOFTWARE SYSTEMS

10.21506/j.ponte.2016.12.54 ◽

2016 ◽

Vol 72 (12) ◽

Author(s):

Srinivas Malladi ◽

G. Ramakrishna

Keyword(s):

Automatic Verification ◽

Software Systems ◽

Legacy Code

Download Full-text

Equivalence checking of arithmetic expressions using fast evaluation

Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems - CASES '05 ◽

10.1145/1086297.1086317 ◽

2005 ◽

Cited By ~ 4

Author(s):

Mohammad Ali Ghodrat ◽

Tony Givargis ◽

Alex Nicolau

Keyword(s):

Equivalence Checking ◽

Fast Evaluation ◽

Arithmetic Expressions

Download Full-text

ICCAD-2020 CAD contest in X-value equivalence checking and benchmark suite

Proceedings of the 39th International Conference on Computer-Aided Design ◽

10.1145/3400302.3415739 ◽

2020 ◽

Author(s):

Chih-Jen (Jacky) Hsu ◽

Chi-An (Rocky) Wu ◽

Ching-Yi Huang ◽

Kei-Yong Khoo

Keyword(s):

Equivalence Checking ◽

Benchmark Suite

Download Full-text

An evaluation of methods to port legacy code to SGX enclaves

Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ◽

10.1145/3368089.3409726 ◽

2020 ◽

Author(s):

Kripa Shanker ◽

Arun Joseph ◽

Vinod Ganapathy

Keyword(s):

Legacy Code ◽

Evaluation Of Methods

Download Full-text

Probabilistic equivalence checking based on high-level decision diagrams

14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems ◽

10.1109/ddecs.2011.5783130 ◽

2011 ◽

Cited By ~ 2

Author(s):

Anton Karputkin ◽

Raimund Ubar ◽

Mati Tombak ◽

Jaan Raik

Keyword(s):

Equivalence Checking ◽

Decision Diagrams ◽

High Level

Download Full-text

Sufficiency-based filtering of invariants for Sequential Equivalence Checking

2011 IEEE International High Level Design Validation and Test Workshop ◽

10.1109/hldvt.2011.6114159 ◽

2011 ◽

Cited By ~ 1

Author(s):

Wei Hu ◽

Huy Nguyen ◽

Michael S. Hsiao

Keyword(s):

Equivalence Checking ◽

Sequential Equivalence Checking

Download Full-text

Converting legacy code into Ada: a cognitive approach

Computer ◽

10.1109/2.275004 ◽

1994 ◽

Vol 27 (4) ◽

pp. 55-61 ◽

Cited By ~ 1

Author(s):

J.M. Scandura

Keyword(s):

Cognitive Approach ◽

Legacy Code

Download Full-text

Compatible Equivalence Checking of X-Valued Circuits

10.1109/iccad51958.2021.9643515 ◽

2021 ◽

Author(s):

Yu-Neng Wang ◽

Yun-Rong Luo ◽

Po-Chun Chien ◽

Ping-Lun Wang ◽

Hao-Ren Wang ◽

...

Keyword(s):

Equivalence Checking

Download Full-text

Xevolver: A User-Defined Code Transformation Approach to Streamlining Legacy Code Migration

Advanced Software Technologies for Post-Peta Scale Computing ◽

10.1007/978-981-13-1924-2_9 ◽

2018 ◽

pp. 163-181

Author(s):

Hiroyuki Takizawa ◽

Reiji Suda ◽

Daisuke Takahashi ◽

Ryusuke Egawa

Keyword(s):

Code Transformation ◽

Legacy Code ◽

Transformation Approach ◽

Code Migration

Download Full-text

Effective Use of SMT Solvers for Program Equivalence Checking Through Invariant-Sketching and Query-Decomposition

Theory and Applications of Satisfiability Testing – SAT 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94144-8_22 ◽

2018 ◽

pp. 365-382 ◽

Cited By ~ 4

Author(s):

Shubhani Gupta ◽

Aseem Saxena ◽

Anmol Mahajan ◽

Sorav Bansal

Keyword(s):

Equivalence Checking ◽

Program Equivalence ◽

Smt Solvers ◽

Effective Use

Download Full-text