This repository was archived by the owner on Nov 1, 2021. It is now read-only.

Commits

History for

Commits on Apr 20, 2012

[analyzer] Run remove dead bindings right before leaving a function.
AnnaZaks
committed

Commits on Feb 16, 2012

Revert "Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also have it based on adding predecessors/successors, not node allocation. No measurable performance change."
tkremenek
committed
Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also have it based on adding predecessors/successors, not node allocation. No measurable performance change.
tkremenek
committed
Minor cleanup to node data structures in ExplodedGraph. No functionality change.
tkremenek
committed

Commits on Feb 5, 2012

Basic: import OwningPtr<> into clang namespace
nobled
committed

Commits on Jan 31, 2012

Minor refactor within ExplodedGraph::reclaimRecentlyAllocatedNodes(). No functionality change.
tkremenek
committed

Commits on Jan 26, 2012

Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
tkremenek
committed

Commits on Jan 25, 2012

Reduce peak memory usage of the static analyzer on sqlite3 (when using inlining) by 30%.
tkremenek
committed

Commits on Jan 11, 2012

Remove '#if 0' from ExprEngine::InlineCall(), and start fresh by wiring up inlining for straight C calls.
tkremenek
committed

Commits on Dec 20, 2011

Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch
dwblaikie
committed

Commits on Nov 1, 2011

[analyzer] Make sink attribute part of the node profile.
AnnaZaks
committed

Commits on Aug 16, 2011

[analyzer] Remove PostStmtCustom ProgramPoint. It can be represented using tagged PostStmts.
tkremenek
committed

Commits on Aug 15, 2011

Rename GRState to ProgramState, and cleanup some code formatting along the way.
tkremenek
committed

Commits on Aug 12, 2011

Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at.
tkremenek
committed

Commits on Jul 23, 2011

remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports
lattner
committed

Commits on Apr 15, 2011

fix a bunch of comment typos found by codespell. Patch by
lattner
committed

Commits on Feb 19, 2011

Change 'StoreRef' back to 'Store' in GRState, shrinking the size of GRState back by one pointer.
tkremenek
committed

Commits on Feb 10, 2011

Commits on Feb 9, 2011

static analyzer: Further reduce the analyzer's memory usage when analyzing sqlite3 by 7-10% by recylcing "uninteresting" ExplodedNodes.
tkremenek
committed

Commits on Feb 8, 2011

[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.
akyrtzi
committed

Loading