1There are some documents under the Documentation/ directory. 2 3For parsing implicit dependencies, see smatch_scripts/implicit_dependencies. 4