Object Clustering

For staged analyses (currently only for flow-sensitive analysis), objects can be better mapped to identifiers for use in bit-vectors based on auxiliary analysis results.

Status

Unmerged; in progress.

Usage

-node-alloc-strat=dense must be used.

• -cluster-fs: perform clustering for flow-sensitive analysis based on auxiliary analysis.
• -cluster-regioned: cluster one region at a time.
• -cluster-region-aligned: align first assigned identifier in each region to the word boundary.
• -cluster-method: clustering criterion to use; single, complete, average, or best where best performs all 3 and picks the best performing one.
• -staged-pt-type: bit-vector type to use in the flow-sensitive analysis; sbv, bv, or cbv.