Using informal and formal techniques for the reverse engineering of C programs

Reverse Engineering - Working Conference Proceedings

Volumn , Issue , 1996, Pages 249-258

  Gannod, Gerald C ^a   Cheng, Betty H C ^a  

^a MICHIGAN STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); COMPUTATIONAL LINGUISTICS; COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LANGUAGES; OBJECT ORIENTED PROGRAMMING; SPACE APPLICATIONS;

C PROGRAMS; FORMAL PROGRAM SEMANTICS; FORMAL SPECIFICATIONS; PROGRAM CODE; REVERSE ENGINEERING; SEMI FORMAL ANALYSIS; SOFTWARE MAINTENANCE; UNMANNED FLIGHT SYSTEMS;

SOFTWARE ENGINEERING;

EID: 0030391972     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)