program-analysis
54 entries in Formal Languages & Compilers.
- Reaching definitionsForward dataflowcanonprogram-analysis
- Live variable analysisBackward dataflowcanonprogram-analysis
- Available expressionsForward must-analysisstandardprogram-analysis
- Very busy expressionsBackward must-analysisspecialistprogram-analysis
- Constant propagationLattice dataflowcanonprogram-analysis
- Sparse conditional constant propagationstandalonespecialistprogram-analysis
- Worklist dataflow solverFixed-point iterationstandardprogram-analysis
- Abstract interpretationGalois-connection domainsstandardprogram-analysis
- Interval analysisWidening and narrowingspecialistprogram-analysis
- Octagon abstract domainUnit-two-variable inequalitiesspecialistprogram-analysis
- Polyhedral analysisstandalonespecialistprogram-analysis
- Andersen pointer analysisInclusion constraintsstandardprogram-analysis
- Steensgaard pointer analysisUnification constraintsspecialistprogram-analysis
- K-CFACall-string context abstractionspecialistprogram-analysis
- Escape analysisstandalonespecialistprogram-analysis
- Taint analysisSource-sink propagationstandardprogram-analysis
- Datalog-based analysisDeclarative rule evaluationspecialistprogram-analysis
- Dominator analysisCooper-Harvey-Kennedystandardprogram-analysis
- Natural loop detectionBack-edge dominatorsstandardprogram-analysis
- Havlak loop nestingIrreducible-region handlingspecialistprogram-analysis
- Call graph constructionRapid type analysisspecialistprogram-analysis
- Interprocedural dataflowIFDS tabulationspecialistprogram-analysis
- Symbolic executionPath-condition solvingstandardprogram-analysis
- Concolic testingConcrete-symbolic mixingstandardprogram-analysis
- Bounded model checkingSAT unrollingstandardprogram-analysis
- Explicit-state model checkingState-space explorationstandardprogram-analysis
- Symbolic model checkingBDD state setsspecialistprogram-analysis
- Partial order reductionstandalonespecialistprogram-analysis
- CEGARCounterexample-guided refinementspecialistprogram-analysis
- Predicate abstractionstandalonespecialistprogram-analysis
- IC3Property-directed reachabilityspecialistprogram-analysis
- K-inductionStrengthened inductive unrollingspecialistprogram-analysis
- Interpolation-based model checkingCraig interpolant overapproximationspecialistprogram-analysis
- Hoare logic verificationWeakest preconditionstandardprogram-analysis
- Separation logicFrame-rule reasoningspecialistprogram-analysis
- Shape analysisThree-valued logic abstractionspecialistprogram-analysis
- Bi-abductionCompositional footprint inferencespecialistprogram-analysis
- Type inferenceHindley-Milner unificationcanonprogram-analysis
- Bidirectional type checkingstandalonespecialistprogram-analysis
- Liquid type inferencePredicate-qualifier abstractionspecialistprogram-analysis
- Data race detectionHappens-before vector clocksstandardprogram-analysis
- Data race detectionLockset analysisspecialistprogram-analysis
- FuzzingCoverage-guided mutationstandardprogram-analysis
- Delta debuggingMinimizing failing inputstandardprogram-analysis
- Spectrum-based fault localizationOchiai suspiciousness rankingspecialistprogram-analysis
- Program slicingDependence graph reachabilityspecialistprogram-analysis
- Common subexpression eliminationValue numberingstandardprogram-analysis
- Loop-invariant code motionstandalonestandardprogram-analysis
- Dead code eliminationMark-and-sweep on IRstandardprogram-analysis
- Partial redundancy eliminationLazy code motionspecialistprogram-analysis
- Equality saturationE-graph rewriting without phase orderingspecialistprogram-analysis
- SuperoptimizationStochastic instruction-sequence searchspecialistprogram-analysis
- Cytron SSA constructionDominance-frontier phi placementstandardprogram-analysis
- Braun SSA constructionOn-the-fly local value trackingspecialistprogram-analysis