Cloning-based context-sensitive pointer alias analysis using binary decision diagrams
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Jedd: a BDD-based relational extension of Java
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Invited talk: the blast query language for software verification
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Invited talk: the blast query language for software verification
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Proceedings of the 27th international conference on Software engineering
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Context-sensitive program analysis as database queries
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Measuring precision for static and dynamic design pattern recognition as a function of coverage
WODA '05 Proceedings of the third international workshop on Dynamic analysis
Web Semantics: Science, Services and Agents on the World Wide Web
Experiments on Design Pattern Discovery
PROMISE '07 Proceedings of the Third International Workshop on Predictor Models in Software Engineering
Relations as an abstraction for BDD-based program analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
An experiment on the role of graphical elements in architecture visualization
Empirical Software Engineering
Identification of design motifs with pattern matching algorithms
Information and Software Technology
Using datalog with binary decision diagrams for program analysis
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Banshee: a scalable constraint-based analysis toolkit
SAS'05 Proceedings of the 12th international conference on Static Analysis
Hi-index | 0.00 |
Many analyses of software systems can be formalized asrelational queries, for example the detection of design patterns,of patterns of problematic design, of code clones, ofdead code, and of differences between the as-built and theas-designed architecture. This paper describes the conceptsof CrocoPat, a tool for querying and manipulating relations.CrocoPat is easy to use, because of its simple query andmanipulation language based on predicate calculus, and itssimple file format for relations. CrocoPat is efficient, becauseit internally represents relations as binary decisiondiagrams, a data structure that is well-known as a compactrepresentation of large relations in computer-aided verification.CrocoPat is general, because it manipulates not onlygraphs (i.e. binary relations), but n-ary relations.