WALKER : un outil d'analyse du code
Document typeExternal research report
Rights accessOpen Access
WALKER is a very general code-analysis tool written in Le-Lisp version 16 whose initial purpose was to provide a code analyser for Le-lisp version 16 special forms language. WALKER is similar to the code walker included in CLOS (Common Lisp Object System). Recursive descent is handled by patterns which are data structures containing information about evaluation contexts expressed in terms of a set of specification keywords such as eval, fcall or optional. So, WALKER does not use case-like forms to performs subexpression search as it is usual in other program-analysis tools. Patterns definition capability and walk function abstraction (the walk function is one of the arguments of WALKER main entry) have permitted to build a code walker with a high degree of generality. WALKER also allows the definition of special functional patterns for any form undescribable in the specification language.
CitationValentín-Fernández, L. WALKER : un outil d'analyse du code. 1990.
Is part ofLSI-90-28