Login Status


ShareSource Commits

Site News

Mirror of the Low Level Virtual Machine

Fix major bugs in incompleteness marking that were pessimizing results
Seen in ShareSource: 8 years ago
Commited by: Chris

Mirror of the Low Level Virtual Machine

Print out the steens graph if -debug is specified
Seen in ShareSource: 8 years ago
Commited by: Chris

Mirror of the Low Level Virtual Machine

* Fix a bug where global incompleteness marking would not mark the global
Seen in ShareSource: 8 years ago
Commited by: Chris

Mirror of the Low Level Virtual Machine

TD Pass now does not cause globals to mark nodes incomplete.
Seen in ShareSource: 8 years ago
Commited by: Chris

Mirror of the Low Level Virtual Machine

Add a special case for main because we know it's incoming arguments don't alias
Seen in ShareSource: 9 years ago
Commited by: Chris

Mirror of the Low Level Virtual Machine

Fix a bug where we would mark the callees arguments incomplete if the caller was external.
Seen in ShareSource: 9 years ago
Commited by: Chris

Mirror of the Low Level Virtual Machine

Remove explicit result counters
Seen in ShareSource: 9 years ago
Commited by: Chris

Mirror of the Low Level Virtual Machine

Add a flag which effectively disables field sensitivity
Seen in ShareSource: 9 years ago
Commited by: Chris

Mirror of the Low Level Virtual Machine

Don't bother counting alias results, allow the AliasAnalysisCounter to do that.
Seen in ShareSource: 9 years ago
Commited by: Chris

Mirror of the Low Level Virtual Machine

Fix a problem Sumant was running into
Seen in ShareSource: 9 years ago
Commited by: Chris

Mirror of the Low Level Virtual Machine

Fix an assertion failure
Seen in ShareSource: 9 years ago
Commited by: Chris

Mirror of the Low Level Virtual Machine

Implement optimization for direct function call case. This dramatically
Seen in ShareSource: 9 years ago
Commited by: Chris