Explaining Static Analysis With Rule Graphs

Do, Lisa Nguyen Quang; Bodden, Eric

doi:10.1109/TSE.2020.2999534

Explaining Static Analysis With Rule Graphs (bibtex)

@ARTICLE{tse20ruleGraphs, 
  author={Do, Lisa Nguyen Quang and Bodden, Eric},
  journal={IEEE Transactions on Software Engineering}, 
  title={Explaining Static Analysis With Rule Graphs}, 
  year={2022},
  volume={48},
  number={2},
  pages={678-690},
  keywords={Static analysis;Tools;SQL injection;Task analysis;Computer bugs;Cognition;Usability;Program analysis;data-flow analysis;rule graphs;analysis configuration;explainability;usability},
  doi={10.1109/TSE.2020.2999534},
  url = {https://www.bodden.de/pubs/tse20ruleGraphs.pdf}
}