Page MenuHomePhabricator

dergachev.a (Artem Dergachev)
User

Projects

User does not belong to any projects.

User Details

User Since
Sep 9 2015, 4:29 AM (227 w, 3 d)

Recent Activity

Sat, Dec 21

dergachev.a committed rG2203089a60d8: [analyzer] exploded-graph-rewriter: Fix string encodings in python3. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: Fix string encodings in python3.
Sat, Dec 21, 11:05 AM
dergachev.a closed D71746: Fix the "TypeError: a bytes-like object is required, not 'str'" in exploded-graph-rewriter.py on Python 3.5+.
Sat, Dec 21, 11:05 AM · Restricted Project

Thu, Dec 19

dergachev.a committed rGb28400507212: [analyzer] Add a syntactic security check for ObjC NSCoder API. (authored by dergachev.a).
[analyzer] Add a syntactic security check for ObjC NSCoder API.
Thu, Dec 19, 3:00 PM
dergachev.a closed D71728: [analyzer] Add a syntactic security check for ObjC NSCoder API..
Thu, Dec 19, 3:00 PM · Restricted Project

Dec 18 2019

dergachev.a committed rGf0ced2ddb44e: [analysis] Re-discard type sugar when casting values retrieved from the Store. (authored by dergachev.a).
[analysis] Re-discard type sugar when casting values retrieved from the Store.
Dec 18 2019, 6:09 PM
dergachev.a committed rGbce1cce6bf12: [analyzer] Teach MismatchedDealloc about initWithBytesNoCopy with deallocator. (authored by dergachev.a).
[analyzer] Teach MismatchedDealloc about initWithBytesNoCopy with deallocator.
Dec 18 2019, 2:19 PM
dergachev.a committed rGbadba5118ff5: [analyzer] NonnullGlobalConstants: Add support for kCFNull. (authored by dergachev.a).
[analyzer] NonnullGlobalConstants: Add support for kCFNull.
Dec 18 2019, 12:15 PM

Dec 17 2019

dergachev.a committed rG6d3f43ec61a6: [analysis] Discard type qualifiers when casting values retrieved from the Store. (authored by dergachev.a).
[analysis] Discard type qualifiers when casting values retrieved from the Store.
Dec 17 2019, 3:01 PM
dergachev.a closed D70836: [analysis] Fix value tracking for pointers to qualified types.
Dec 17 2019, 3:00 PM · Restricted Project

Dec 13 2019

dergachev.a committed rGf450dd63a14d: [analyzer] CStringChecker: Fix a crash on unknown value passed to strlcat. (authored by dergachev.a).
[analyzer] CStringChecker: Fix a crash on unknown value passed to strlcat.
Dec 13 2019, 6:01 PM

Dec 12 2019

dergachev.a committed rGb3abd78b9469: [analyzer] Fix test/Analysis/padding_cpp.cpp after merge conflict. (authored by dergachev.a).
[analyzer] Fix test/Analysis/padding_cpp.cpp after merge conflict.
Dec 12 2019, 12:20 PM
dergachev.a committed rGb64d23c345a0: Merge remote-tracking branch 'llvm-org/master' into upstream-with-swift (authored by dergachev.a).
Merge remote-tracking branch 'llvm-org/master' into upstream-with-swift
Dec 12 2019, 11:30 AM
dergachev.a committed rGb5757fd2ed83: Merge remote-tracking branch 'llvm-org/master' into upstream-with-swift (authored by dergachev.a).
Merge remote-tracking branch 'llvm-org/master' into upstream-with-swift
Dec 12 2019, 11:30 AM

Dec 11 2019

dergachev.a committed rG2b3f2071ec65: [analyzer] CStringChecker: Fix overly eager assumption that memcmp args overlap. (authored by dergachev.a).
[analyzer] CStringChecker: Fix overly eager assumption that memcmp args overlap.
Dec 11 2019, 11:29 AM
dergachev.a committed rG134faae04259: [analyzer] CStringChecker: Improve warning messages. (authored by dergachev.a).
[analyzer] CStringChecker: Improve warning messages.
Dec 11 2019, 11:29 AM
dergachev.a committed rGb01012b7c8a5: [analyzer] LocalizationChecker: Fix a crash on synthesized accessor stubs. (authored by dergachev.a).
[analyzer] LocalizationChecker: Fix a crash on synthesized accessor stubs.
Dec 11 2019, 11:29 AM
dergachev.a closed D71321: [analyzer] CStringChecker: Warning text fixes..
Dec 11 2019, 11:28 AM · Restricted Project
dergachev.a closed D71322: [analyzer] CStringChecker: Fix overly eager assumption that memcmp arguments overlap..
Dec 11 2019, 11:28 AM · Restricted Project

Dec 6 2019

dergachev.a committed rG040c39d50fb9: [analyzer] Fix false positive on introspection of a block's internal layout. (authored by dergachev.a).
[analyzer] Fix false positive on introspection of a block's internal layout.
Dec 6 2019, 1:30 PM

Dec 4 2019

dergachev.a committed rG3c50f2544f7a: [analyzer] Fix more ObjC accessor body farms after 2073dd2d. (authored by dergachev.a).
[analyzer] Fix more ObjC accessor body farms after 2073dd2d.
Dec 4 2019, 4:32 PM

Nov 21 2019

dergachev.a committed rGa3b22da4e0ea: [CFG] Fix a flaky crash in CFGBlock::getLastCondition(). (authored by dergachev.a).
[CFG] Fix a flaky crash in CFGBlock::getLastCondition().
Nov 21 2019, 10:03 PM
dergachev.a committed rG0b58b80edb81: [analyzer] Fix Objective-C accessor body farms after 2073dd2d. (authored by dergachev.a).
[analyzer] Fix Objective-C accessor body farms after 2073dd2d.
Nov 21 2019, 7:03 PM
dergachev.a committed rGbbc8662db154: [analyzer] NFC: Don't clean up range constraints twice. (authored by dergachev.a).
[analyzer] NFC: Don't clean up range constraints twice.
Nov 21 2019, 7:03 PM
dergachev.a closed D70158: [analyzer] Fix Objective-C accessor body farms after D68108..
Nov 21 2019, 7:03 PM · Restricted Project
dergachev.a closed D70150: [analyzer] Don't clean up dead symbols from constraints twice..
Nov 21 2019, 7:03 PM · Restricted Project
dergachev.a committed rG6bbca3411b38: [CFG] Add a test for a flaky crash in CFGBlock::getLastCondition(). (authored by dergachev.a).
[CFG] Add a test for a flaky crash in CFGBlock::getLastCondition().
Nov 21 2019, 6:18 PM
dergachev.a closed D69962: [CFG] Fix a flaky crash in CFGBlock::getLastCondition()..
Nov 21 2019, 6:17 PM · Restricted Project

Nov 8 2019

dergachev.a committed rGe4da37e8a0a3: [analyzer] Fix skipping the call during inlined defensive check suppression. (authored by dergachev.a).
[analyzer] Fix skipping the call during inlined defensive check suppression.
Nov 8 2019, 6:31 PM
dergachev.a committed rG57adc37fe57c: [analyzer] Nullability: Don't infer nullable when passing as nullable parameter. (authored by dergachev.a).
[analyzer] Nullability: Don't infer nullable when passing as nullable parameter.
Nov 8 2019, 6:31 PM
dergachev.a closed D67932: [analyzer] Fix accidentally skipping the call during inlined defensive check suppression..
Nov 8 2019, 6:31 PM · Restricted Project

Nov 7 2019

dergachev.a committed rG5e0fb6484207: [analyzer] Add test cases for the unsupported C++ constructor modeling. (authored by dergachev.a).
[analyzer] Add test cases for the unsupported C++ constructor modeling.
Nov 7 2019, 5:23 PM
dergachev.a committed rGacac540422e8: [analyzer] PR41729: CStringChecker: Improve strlcat and strlcpy modeling. (authored by dergachev.a).
[analyzer] PR41729: CStringChecker: Improve strlcat and strlcpy modeling.
Nov 7 2019, 5:23 PM
dergachev.a closed D69308: [analyzer] Test cases for the unsupported features for Clang Static Analyzer .
Nov 7 2019, 5:23 PM · Restricted Project
dergachev.a closed D66049: [analyzer] PR41729: Fix some false positives and improve strlcat and strlcpy modeling.
Nov 7 2019, 5:23 PM · Restricted Project

Oct 23 2019

dergachev.a committed rGbe86fdb86e1e: [analyzer] Fix off-by-one in operator call parameter binding. (authored by dergachev.a).
[analyzer] Fix off-by-one in operator call parameter binding.
Oct 23 2019, 8:23 AM
dergachev.a closed D69155: [analyzer] Fix off-by-one in operator call parameter binding..
Oct 23 2019, 8:23 AM · Restricted Project

Oct 18 2019

dergachev.a committed rG4a5df7312ec2: [analyzer] PR43551: Do not dereferce void* in UndefOrNullArgVisitor. (authored by dergachev.a).
[analyzer] PR43551: Do not dereferce void* in UndefOrNullArgVisitor.
Oct 18 2019, 6:53 PM
dergachev.a committed rGab2cec8b85cf: [analyzer] Fix a crash on tracking Objective-C 'self' as a control dependency. (authored by dergachev.a).
[analyzer] Fix a crash on tracking Objective-C 'self' as a control dependency.
Oct 18 2019, 6:52 PM
dergachev.a closed D68591: [analyzer] PR43551: Do not dereferce void* in UndefOrNullArgVisitor.
Oct 18 2019, 6:52 PM · Restricted Project
dergachev.a committed rGb0914e7276bf: [analyzer] Specify the C++ standard in more tests. (authored by dergachev.a).
[analyzer] Specify the C++ standard in more tests.
Oct 18 2019, 5:10 PM
dergachev.a committed rG3ff26e27d93e: [analyzer] exploded-graph-rewriter: Unforget to censor stmt_ids in the test. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: Unforget to censor stmt_ids in the test.
Oct 18 2019, 1:55 PM
dergachev.a committed rGc6921379f55e: [analyzer] exploded-graph-rewriter: Rename Environment to Expressions. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: Rename Environment to Expressions.
Oct 18 2019, 1:18 PM
dergachev.a committed rG7a17f197093a: [analyzer] Fix hidden node traversal in exploded graph dumps. (authored by dergachev.a).
[analyzer] Fix hidden node traversal in exploded graph dumps.
Oct 18 2019, 1:18 PM
dergachev.a committed rGb3e34e043cae: [analyzer] Drop the logic for collapsing the state if it's same as in preds. (authored by dergachev.a).
[analyzer] Drop the logic for collapsing the state if it's same as in preds.
Oct 18 2019, 1:18 PM
dergachev.a committed rG2b4f6df91775: [analyzer] Fix FieldRegion dumps. (authored by dergachev.a).
[analyzer] Fix FieldRegion dumps.
Oct 18 2019, 1:18 PM
dergachev.a committed rGd93b810cd673: [analyzer] exploded-graph-rewriter: Fix dump for state 0. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: Fix dump for state 0.
Oct 18 2019, 1:18 PM
dergachev.a closed D69150: [analyzer] Fix hidden node traversal in exploded graph dumps..
Oct 18 2019, 1:18 PM · Restricted Project

Oct 17 2019

dergachev.a committed rG8b3ef1e45b06: [analyzer] exploded-graph-rewriter: Fix typo in r375186. Unbreaks tests. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: Fix typo in r375186. Unbreaks tests.
Oct 17 2019, 4:31 PM
dergachev.a committed rG14e9eb3d7cae: [analyzer] Assign truly stable identifiers to exploded nodes. (authored by dergachev.a).
[analyzer] Assign truly stable identifiers to exploded nodes.
Oct 17 2019, 4:12 PM
dergachev.a committed rGd325196f19bf: [analyzer] Display cast kinds in program point dumps. (authored by dergachev.a).
[analyzer] Display cast kinds in program point dumps.
Oct 17 2019, 4:12 PM
dergachev.a committed rG73b67f0b1a3c: [analyzer] exploded-graph-rewriter: Make node headers a bit lighter. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: Make node headers a bit lighter.
Oct 17 2019, 4:12 PM

Sep 26 2019

dergachev.a committed rG214f68e7a15d: Revert "[analyzer] A speculative attempt to avoid gcc-7 crashes..." (authored by dergachev.a).
Revert "[analyzer] A speculative attempt to avoid gcc-7 crashes..."
Sep 26 2019, 11:52 AM
dergachev.a committed rGd9b477af8f43: [analyzer] A speculative attempt to avoid gcc-7 crashes caused by r372942. (authored by dergachev.a).
[analyzer] A speculative attempt to avoid gcc-7 crashes caused by r372942.
Sep 26 2019, 12:01 AM

Sep 25 2019

dergachev.a committed rG4ed9793f980f: [analyzer] Avoid small vectors of non-default-constructibles. (authored by dergachev.a).
[analyzer] Avoid small vectors of non-default-constructibles.
Sep 25 2019, 11:34 PM

Sep 23 2019

dergachev.a committed rG837273711e0b: [llvm-cov] NFC: Specify a specific C++ standard in the test. (authored by dergachev.a).
[llvm-cov] NFC: Specify a specific C++ standard in the test.
Sep 23 2019, 5:01 PM

Sep 12 2019

dergachev.a committed rG851e95c1c12a: [analyzer] Fix the 'analyzer-enabled-checkers.c' test on non-linux machines. (authored by dergachev.a).
[analyzer] Fix the 'analyzer-enabled-checkers.c' test on non-linux machines.
Sep 12 2019, 3:13 PM

Sep 11 2019

dergachev.a committed rGf0bb45fac35c: [analyzer] NFC: Move PathDiagnostic classes to libAnalysis. (authored by dergachev.a).
[analyzer] NFC: Move PathDiagnostic classes to libAnalysis.
Sep 11 2019, 1:55 PM
dergachev.a committed rG2bce23a4f8af: [analyzer] NFC: Move resetDiagnosticLocationToMainFile() to BugReporter. (authored by dergachev.a).
[analyzer] NFC: Move resetDiagnosticLocationToMainFile() to BugReporter.
Sep 11 2019, 1:55 PM
dergachev.a committed rG6b85f8e99b38: [analyzer] NFC: Move getStmt() and createEndOfPath() out of PathDiagnostic. (authored by dergachev.a).
[analyzer] NFC: Move getStmt() and createEndOfPath() out of PathDiagnostic.
Sep 11 2019, 1:55 PM
dergachev.a committed rG8535b8ecf291: [analyzer] NFC: Re-implement stack hints as a side map in BugReport. (authored by dergachev.a).
[analyzer] NFC: Re-implement stack hints as a side map in BugReport.
Sep 11 2019, 1:54 PM

Sep 9 2019

dergachev.a committed rG589273bebd44: [analyzer] NFC: Simplify bug report equivalence classes to not be ilists. (authored by dergachev.a).
[analyzer] NFC: Simplify bug report equivalence classes to not be ilists.
Sep 9 2019, 1:41 PM
dergachev.a committed rG2f169e7cdd99: [analyzer] NFC: Introduce sub-classes for path-sensitive and basic reports. (authored by dergachev.a).
[analyzer] NFC: Introduce sub-classes for path-sensitive and basic reports.
Sep 9 2019, 1:40 PM

Sep 6 2019

dergachev.a committed rG6cee434ed10e: [analyzer] Add minimal support for fix-it hints. (authored by dergachev.a).
[analyzer] Add minimal support for fix-it hints.
Sep 6 2019, 1:55 PM
dergachev.a committed rG2b1b4cab9605: [analyzer] pr43179: Make CallDescription defensive against C variadic functions. (authored by dergachev.a).
[analyzer] pr43179: Make CallDescription defensive against C variadic functions.
Sep 6 2019, 1:55 PM

Sep 4 2019

dergachev.a committed rG473d0d7f569c: [analyzer] scan-build: handle --sysroot=/path in addition to --sysroot /path. (authored by dergachev.a).
[analyzer] scan-build: handle --sysroot=/path in addition to --sysroot /path.
Sep 4 2019, 5:45 PM

Aug 29 2019

dergachev.a committed rGe5c0994ddfcf: [CFG] Fix CFG for statement-expressions in return values. (authored by dergachev.a).
[CFG] Fix CFG for statement-expressions in return values.
Aug 29 2019, 1:37 PM

Aug 28 2019

dergachev.a committed rG3517d10575e2: [analyzer] Fix more analyzer warnings on analyzer and libAnalysis. (authored by dergachev.a).
[analyzer] Fix more analyzer warnings on analyzer and libAnalysis.
Aug 28 2019, 2:20 PM
dergachev.a committed rGead98ea3eb4e: [CFG] Make representation of destructor calls more accurate. (authored by dergachev.a).
[CFG] Make representation of destructor calls more accurate.
Aug 28 2019, 11:46 AM
dergachev.a committed rG630f7daf80fe: [analyzer] Fix analyzer warnings on analyzer. (authored by dergachev.a).
[analyzer] Fix analyzer warnings on analyzer.
Aug 28 2019, 11:46 AM
dergachev.a committed rG0909a392f318: [analyzer] pr43036: Fix support for operator 'sizeof...'. (authored by dergachev.a).
[analyzer] pr43036: Fix support for operator 'sizeof...'.
Aug 28 2019, 11:45 AM
dergachev.a committed rG8b2a39e9377e: [analyzer] Trust global initializers when analyzing main(). (authored by dergachev.a).
[analyzer] Trust global initializers when analyzing main().
Aug 28 2019, 11:45 AM

Aug 22 2019

dergachev.a committed rG85f7294e5af0: [analyzer] CastValueChecker: Correctly model results of based-to-derived casts. (authored by dergachev.a).
[analyzer] CastValueChecker: Correctly model results of based-to-derived casts.
Aug 22 2019, 8:42 PM
dergachev.a committed rG62a76d0ae349: [analyzer] CastValueChecker: Provide DynamicTypeMap with pointer types only. (authored by dergachev.a).
[analyzer] CastValueChecker: Provide DynamicTypeMap with pointer types only.
Aug 22 2019, 8:40 PM
dergachev.a committed rGaf992e6d0137: [analyzer] CastValueChecker: Avoid modeling casts between objects. (authored by dergachev.a).
[analyzer] CastValueChecker: Avoid modeling casts between objects.
Aug 22 2019, 8:39 PM
dergachev.a committed rG0900b77db27f: [analyzer] DynamicTypeInfo: Avoid putting null regions into dynamic typemap. (authored by dergachev.a).
[analyzer] DynamicTypeInfo: Avoid putting null regions into dynamic typemap.
Aug 22 2019, 8:39 PM

Aug 20 2019

dergachev.a committed rG3fdc427f0bc8: [analyzer] NFC: Remove the BugTypes set from BugReporter. (authored by dergachev.a).
[analyzer] NFC: Remove the BugTypes set from BugReporter.
Aug 20 2019, 2:43 PM
dergachev.a committed rG8eb7a74b7808: [analyzer] Fix a crash when destroying a non-region. (authored by dergachev.a).
[analyzer] Fix a crash when destroying a non-region.
Aug 20 2019, 2:42 PM
dergachev.a committed rGd3971fe97b64: [analyzer] Improve VirtualCallChecker and enable parts of it by default. (authored by dergachev.a).
[analyzer] Improve VirtualCallChecker and enable parts of it by default.
Aug 20 2019, 2:42 PM

Aug 19 2019

dergachev.a committed rG8cf3dfea5418: [CallGraph] Take into accound calls that aren't within any function bodies. (authored by dergachev.a).
[CallGraph] Take into accound calls that aren't within any function bodies.
Aug 19 2019, 7:23 PM
dergachev.a committed rGee92f12fd18e: [analyzer] NFC: Rename GRBugReporter to PathSensitiveBugReporter. (authored by dergachev.a).
[analyzer] NFC: Rename GRBugReporter to PathSensitiveBugReporter.
Aug 19 2019, 7:16 PM
dergachev.a committed rG48786cf8d3d5: [analyzer] NFC: Drop support for extra text attached to bug reports. (authored by dergachev.a).
[analyzer] NFC: Drop support for extra text attached to bug reports.
Aug 19 2019, 7:16 PM

Aug 13 2019

dergachev.a committed rG9289681ea3d0: [analyzer] exploded-graph-rewriter: Implement manual graph trimming. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: Implement manual graph trimming.
Aug 13 2019, 4:06 PM
dergachev.a committed rGdaf41722bd54: [analyzer] exploded-graph-rewriter: Implement displaying Store pointers. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: Implement displaying Store pointers.
Aug 13 2019, 4:06 PM
dergachev.a committed rG0b26891f3f2b: [analyzer] exploded-graph-rewriter: NFC: Refactor explorers into trimmers. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: NFC: Refactor explorers into trimmers.
Aug 13 2019, 4:05 PM
dergachev.a committed rGe9e36354531e: [analyzer] exploded-graph-rewriter: Open the converted graph immediately. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: Open the converted graph immediately.
Aug 13 2019, 4:05 PM
dergachev.a committed rGf5a60e590f05: [analyzer] Disable the checker-plugins test on Darwin. (authored by dergachev.a).
[analyzer] Disable the checker-plugins test on Darwin.
Aug 13 2019, 4:05 PM

Aug 8 2019

dergachev.a committed rG8b49e0fd39f9: [analyzer] Fix scan-build's plist output in plist-html mode. (authored by dergachev.a).
[analyzer] Fix scan-build's plist output in plist-html mode.
Aug 8 2019, 1:23 PM

Jul 11 2019

dergachev.a committed rG8bd441af8b84: NFC: Unforget a colon in a few CHECK: directives. (authored by dergachev.a).
NFC: Unforget a colon in a few CHECK: directives.
Jul 11 2019, 7:18 PM
dergachev.a committed rGed035ff8264f: [analyzer] exploded-graph-rewriter: Improve source location dumps. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: Improve source location dumps.
Jul 11 2019, 7:11 PM
dergachev.a committed rGfc6059e8b987: [analyzer] exploded-graph-rewriter: Fix filenames in program point. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: Fix filenames in program point.
Jul 11 2019, 2:32 PM

Jul 8 2019

dergachev.a committed rGc6b5c5b92545: [analyzer] exploded-graph-rewriter: Implement a topology-only mode. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: Implement a topology-only mode.
Jul 8 2019, 4:56 PM
dergachev.a committed rG78566e454f68: [analyzer] exploded-graph-rewriter: Implement a single-path mode. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: Implement a single-path mode.
Jul 8 2019, 4:56 PM

Jul 3 2019

dergachev.a committed rG78c0aefb220b: [analyzer] exploded-graph-rewriter: Implement a black-and-white color scheme. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: Implement a black-and-white color scheme.
Jul 3 2019, 1:50 PM

Jul 2 2019

dergachev.a committed rGab758ba128c4: [analyzer] exploded-graph-rewriter: Implement bug nodes and sink nodes. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: Implement bug nodes and sink nodes.
Jul 2 2019, 6:28 PM
dergachev.a committed rG5fcf92e15380: [analyzer] exploded-graph-rewriter: NFC: Add more comments. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: NFC: Add more comments.
Jul 2 2019, 6:28 PM
dergachev.a committed rG48a5c83af442: [analyzer] exploded-graph-rewriter: Collapse very long statement pretty-prints. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: Collapse very long statement pretty-prints.
Jul 2 2019, 6:28 PM
dergachev.a committed rGdeb7accbea78: [analyzer] exploded-graph-rewriter: Implement checker messages. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: Implement checker messages.
Jul 2 2019, 6:28 PM

Jul 1 2019

dergachev.a committed rGad38e58ef241: [analyzer] exploded-graph-rewriter: Implement a dark color scheme. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: Implement a dark color scheme.
Jul 1 2019, 7:21 PM
dergachev.a committed rG2ca5355712fc: [analyzer] exploded-graph-rewriter: Improve program point dumps. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: Improve program point dumps.
Jul 1 2019, 7:20 PM
dergachev.a committed rG0a77d9192ab7: [analyzer] exploded-graph-rewriter: Add support for objects under construction. (authored by dergachev.a).
[analyzer] exploded-graph-rewriter: Add support for objects under construction.
Jul 1 2019, 7:20 PM