Use of filename as index
Currently, the Frama-C-related insertion and update scripts use filenames as index for various documents, notably to decide whether existing AST nodes should be superseded by new ones during an update. There are a few issues related to that.
- should those names be absolute or relative, and in the latter case, relative to what? If we start from the toplevel directory of the software project under analysis, there might be name clashes between projects, and between two versions of the same project. Having a symbolic name (e.g. project-version or project-git-id) as a prefix should provide an appropriate namespace, normalized among PKM users.
- similar question arises for the files that are part of Frama-C's own standard library. How should they be managed if we feed the PKM with different Frama-C versions?
- some nodes, generated by a plug-in for instance, have a dummy location, which cannot be used for reference