george.karpenkov (George Karpenkov)
User

Projects

User does not belong to any projects.

User Details

User Since
Apr 14 2017, 1:59 PM (75 w, 2 d)

Recent Activity

Fri, Sep 21

george.karpenkov committed rL342770: [analyzer] Process state in checkEndFunction in RetainCountChecker.
[analyzer] Process state in checkEndFunction in RetainCountChecker
Fri, Sep 21, 1:41 PM
george.karpenkov committed rC342770: [analyzer] Process state in checkEndFunction in RetainCountChecker.
[analyzer] Process state in checkEndFunction in RetainCountChecker
Fri, Sep 21, 1:41 PM
george.karpenkov closed D52338: [analyzer] Process state in checkEndFunction in RetainCountChecker.
Fri, Sep 21, 1:41 PM
george.karpenkov closed D52338: [analyzer] Process state in checkEndFunction in RetainCountChecker.
Fri, Sep 21, 1:41 PM
george.karpenkov committed rL342769: [analyzer] Highlight sink nodes in red.
[analyzer] Highlight sink nodes in red
Fri, Sep 21, 1:41 PM
george.karpenkov committed rC342769: [analyzer] Highlight sink nodes in red.
[analyzer] Highlight sink nodes in red
Fri, Sep 21, 1:41 PM
george.karpenkov closed D52337: [analyzer] Highlight sink nodes in red in exploded graph.
Fri, Sep 21, 1:40 PM
george.karpenkov closed D52337: [analyzer] Highlight sink nodes in red in exploded graph.
Fri, Sep 21, 1:40 PM
george.karpenkov committed rC342768: [analyzer] Associate diagnostics created in checkEndFunction with a return….
[analyzer] Associate diagnostics created in checkEndFunction with a return…
Fri, Sep 21, 1:40 PM
george.karpenkov committed rL342768: [analyzer] Associate diagnostics created in checkEndFunction with a return….
[analyzer] Associate diagnostics created in checkEndFunction with a return…
Fri, Sep 21, 1:40 PM
george.karpenkov closed D52326: [analyzer] Associate diagnostics created in checkEndFunction with a return statement, if possible.
Fri, Sep 21, 1:40 PM
george.karpenkov closed D52326: [analyzer] Associate diagnostics created in checkEndFunction with a return statement, if possible.
Fri, Sep 21, 1:40 PM
george.karpenkov committed rC342767: [analyzer] [NFC] Prefer make_unique over "new".
[analyzer] [NFC] Prefer make_unique over "new"
Fri, Sep 21, 1:40 PM
george.karpenkov committed rL342767: [analyzer] [NFC] Prefer make_unique over "new".
[analyzer] [NFC] Prefer make_unique over "new"
Fri, Sep 21, 1:40 PM
george.karpenkov closed D52336: [analyzer] [NFC] Prefer make_unique over "new".
Fri, Sep 21, 1:40 PM
george.karpenkov committed rC342766: [analyzer] Fix bug in isInevitablySinking.
[analyzer] Fix bug in isInevitablySinking
Fri, Sep 21, 1:40 PM
george.karpenkov committed rL342766: [analyzer] Fix bug in isInevitablySinking.
[analyzer] Fix bug in isInevitablySinking
Fri, Sep 21, 1:40 PM
george.karpenkov closed D52284: [analyzer] Fix bug in isInevitablySinking.
Fri, Sep 21, 1:40 PM
george.karpenkov committed rL342765: [analyzer] [NFC] Dead code removal.
[analyzer] [NFC] Dead code removal
Fri, Sep 21, 1:40 PM
george.karpenkov committed rC342765: [analyzer] [NFC] Dead code removal.
[analyzer] [NFC] Dead code removal
Fri, Sep 21, 1:39 PM
george.karpenkov closed D52269: [analyzer] [NFC] Dead code removal.
Fri, Sep 21, 1:39 PM
george.karpenkov updated the diff for D52326: [analyzer] Associate diagnostics created in checkEndFunction with a return statement, if possible.
Fri, Sep 21, 1:33 PM
george.karpenkov accepted D52365: [analyzer] Improvements to the SMT API.
Fri, Sep 21, 1:26 PM

Thu, Sep 20

george.karpenkov added a dependent revision for D52326: [analyzer] Associate diagnostics created in checkEndFunction with a return statement, if possible: D52338: [analyzer] Process state in checkEndFunction in RetainCountChecker.
Thu, Sep 20, 7:02 PM
george.karpenkov added a dependent revision for D52284: [analyzer] Fix bug in isInevitablySinking: D52338: [analyzer] Process state in checkEndFunction in RetainCountChecker.
Thu, Sep 20, 7:02 PM
george.karpenkov added a dependent revision for D52336: [analyzer] [NFC] Prefer make_unique over "new": D52338: [analyzer] Process state in checkEndFunction in RetainCountChecker.
Thu, Sep 20, 7:02 PM
george.karpenkov added dependencies for D52338: [analyzer] Process state in checkEndFunction in RetainCountChecker: D52336: [analyzer] [NFC] Prefer make_unique over "new", D52326: [analyzer] Associate diagnostics created in checkEndFunction with a return statement, if possible, D52284: [analyzer] Fix bug in isInevitablySinking.
Thu, Sep 20, 7:02 PM
george.karpenkov created D52338: [analyzer] Process state in checkEndFunction in RetainCountChecker.
Thu, Sep 20, 7:02 PM
george.karpenkov created D52337: [analyzer] Highlight sink nodes in red in exploded graph.
Thu, Sep 20, 7:01 PM
george.karpenkov updated the diff for D52326: [analyzer] Associate diagnostics created in checkEndFunction with a return statement, if possible.
Thu, Sep 20, 7:00 PM
george.karpenkov created D52336: [analyzer] [NFC] Prefer make_unique over "new".
Thu, Sep 20, 7:00 PM
george.karpenkov added inline comments to D52326: [analyzer] Associate diagnostics created in checkEndFunction with a return statement, if possible.
Thu, Sep 20, 3:37 PM
george.karpenkov created D52326: [analyzer] Associate diagnostics created in checkEndFunction with a return statement, if possible.
Thu, Sep 20, 3:17 PM
george.karpenkov added inline comments to D52269: [analyzer] [NFC] Dead code removal.
Thu, Sep 20, 2:19 PM
george.karpenkov accepted D51926: [scan-build-py] Prevent crashes of CTU analysis by suppressing warnings.

If that helps you, then sure.

Thu, Sep 20, 10:22 AM

Wed, Sep 19

george.karpenkov created D52284: [analyzer] Fix bug in isInevitablySinking.
Wed, Sep 19, 3:19 PM
george.karpenkov created D52269: [analyzer] [NFC] Dead code removal.
Wed, Sep 19, 10:05 AM

Mon, Sep 17

george.karpenkov added a comment to D51866: [analyzer][UninitializedObjectChecker][WIP] New flag to ignore guarded uninitialized fields.

Thanks! The usual question: would it be easier to implement using AST matchers?

Mon, Sep 17, 1:49 PM
george.karpenkov committed rC342413: [analyzer] ExplodedGraph printing fixes.
[analyzer] ExplodedGraph printing fixes
Mon, Sep 17, 1:48 PM
george.karpenkov committed rL342413: [analyzer] ExplodedGraph printing fixes.
[analyzer] ExplodedGraph printing fixes
Mon, Sep 17, 1:48 PM
george.karpenkov closed D52183: [analyzer] ExplodedGraph printing fixes.
Mon, Sep 17, 1:48 PM
george.karpenkov closed D52183: [analyzer] ExplodedGraph printing fixes.
Mon, Sep 17, 1:48 PM
george.karpenkov accepted D51886: [analyzer][UninitializedObjectChecker] Using the new const methods of ImmutableList.
Mon, Sep 17, 1:48 PM
george.karpenkov accepted D52189: [analyzer] Fix a crash regression on casting opaque symbolic pointers from unrelated base classes to derived classes..
Mon, Sep 17, 1:40 PM
george.karpenkov updated the diff for D52183: [analyzer] ExplodedGraph printing fixes.
Mon, Sep 17, 1:27 PM
george.karpenkov updated the diff for D52183: [analyzer] ExplodedGraph printing fixes.
Mon, Sep 17, 1:26 PM
george.karpenkov updated the diff for D52183: [analyzer] ExplodedGraph printing fixes.
Mon, Sep 17, 1:21 PM
george.karpenkov accepted D52133: [analyzer] A testing facility for testing relationships between symbols..
Mon, Sep 17, 1:17 PM
george.karpenkov added a comment to D52133: [analyzer] A testing facility for testing relationships between symbols..

@NoQ Actually I agree with @baloghadamsoftware that it makes sense to have a separate test, as this functionality should be tested regardless of svalbuilder-rearrange-comparisons existence.

Mon, Sep 17, 1:14 PM
george.karpenkov created D52183: [analyzer] ExplodedGraph printing fixes.
Mon, Sep 17, 12:16 PM

Sat, Sep 15

george.karpenkov updated subscribers of D51667: [analyzer] Dump stable identifiers for exploded nodes.

Hey, sorry, I’ll take a look

Sat, Sep 15, 9:55 AM

Fri, Sep 14

george.karpenkov committed rC342317: [analyzer] Temporary disabling svalbuilder-rearrange-comparisons test.
[analyzer] Temporary disabling svalbuilder-rearrange-comparisons test
Fri, Sep 14, 7:38 PM
george.karpenkov committed rL342317: [analyzer] Temporary disabling svalbuilder-rearrange-comparisons test.
[analyzer] Temporary disabling svalbuilder-rearrange-comparisons test
Fri, Sep 14, 7:38 PM
george.karpenkov committed rL342316: [analyzer] Further printing improvements: use declarations,.
[analyzer] Further printing improvements: use declarations,
Fri, Sep 14, 7:38 PM
george.karpenkov committed rC342316: [analyzer] Further printing improvements: use declarations,.
[analyzer] Further printing improvements: use declarations,
Fri, Sep 14, 7:38 PM
george.karpenkov closed D52114: [analyzer] Further printing improvements: use declarations.
Fri, Sep 14, 7:38 PM
george.karpenkov committed rL342315: Generate unique identifiers for Decl objects.
Generate unique identifiers for Decl objects
Fri, Sep 14, 7:06 PM
george.karpenkov committed rC342315: Generate unique identifiers for Decl objects.
Generate unique identifiers for Decl objects
Fri, Sep 14, 7:06 PM
george.karpenkov closed D52113: Generate unique identifiers for Decl objects.
Fri, Sep 14, 7:06 PM
george.karpenkov committed rC342314: [analyzer] Generate and use stable identifiers for LocationContext.
[analyzer] Generate and use stable identifiers for LocationContext
Fri, Sep 14, 7:05 PM
george.karpenkov committed rL342314: [analyzer] Generate and use stable identifiers for LocationContext.
[analyzer] Generate and use stable identifiers for LocationContext
Fri, Sep 14, 7:04 PM
george.karpenkov closed D51827: [analyzer] Generate and use stable identifiers for LocationContext.
Fri, Sep 14, 7:04 PM
george.karpenkov committed rC342313: [analyzer] Dump reproducible identifiers for statements in exploded graph in….
[analyzer] Dump reproducible identifiers for statements in exploded graph in…
Fri, Sep 14, 7:04 PM
george.karpenkov committed rL342313: [analyzer] Dump reproducible identifiers for statements in exploded graph in….
[analyzer] Dump reproducible identifiers for statements in exploded graph in…
Fri, Sep 14, 7:04 PM
george.karpenkov closed D51826: [analyzer] Dump reproducible identifiers for statements in exploded graph in store.
Fri, Sep 14, 7:04 PM
george.karpenkov committed rC342312: [analyzer] Use correct end-of-line character when printing statements for….
[analyzer] Use correct end-of-line character when printing statements for…
Fri, Sep 14, 7:04 PM
george.karpenkov committed rL342312: [analyzer] Use correct end-of-line character when printing statements for….
[analyzer] Use correct end-of-line character when printing statements for…
Fri, Sep 14, 7:04 PM
george.karpenkov closed D51825: [analyzer] Use correct end-of-line character when printing statements for exploded graph.
Fri, Sep 14, 7:04 PM
george.karpenkov committed rC342311: StmtPrinter: allow customizing the end-of-line character.
StmtPrinter: allow customizing the end-of-line character
Fri, Sep 14, 7:03 PM
george.karpenkov committed rL342311: StmtPrinter: allow customizing the end-of-line character.
StmtPrinter: allow customizing the end-of-line character
Fri, Sep 14, 7:03 PM
george.karpenkov closed D51824: StmtPrinter: allow customizing the end-of-line character.
Fri, Sep 14, 7:03 PM · Restricted Project
george.karpenkov committed rC342310: [analyzer] Dump unique identifiers for statements in exploded graph.
[analyzer] Dump unique identifiers for statements in exploded graph
Fri, Sep 14, 7:03 PM
george.karpenkov committed rL342310: [analyzer] Dump unique identifiers for statements in exploded graph.
[analyzer] Dump unique identifiers for statements in exploded graph
Fri, Sep 14, 7:03 PM
george.karpenkov closed D51823: [analyzer] Dump unique identifiers for statements in exploded graph.
Fri, Sep 14, 7:03 PM
george.karpenkov committed rL342309: Support generating unique identifiers for Stmt objects.
Support generating unique identifiers for Stmt objects
Fri, Sep 14, 7:03 PM
george.karpenkov committed rC342309: Support generating unique identifiers for Stmt objects.
Support generating unique identifiers for Stmt objects
Fri, Sep 14, 7:03 PM
george.karpenkov closed D51822: Support generating unique identifiers for Stmt objects.
Fri, Sep 14, 7:03 PM
george.karpenkov committed rL342308: [analyzer] Skip printing duplicate nodes, even if nodes have multiple….
[analyzer] Skip printing duplicate nodes, even if nodes have multiple…
Fri, Sep 14, 7:02 PM
george.karpenkov committed rC342308: [analyzer] Skip printing duplicate nodes, even if nodes have multiple….
[analyzer] Skip printing duplicate nodes, even if nodes have multiple…
Fri, Sep 14, 7:02 PM
george.karpenkov closed D51821: [analyzer] Skip printing duplicate nodes, even if nodes have multiple predecessors/successors.
Fri, Sep 14, 7:02 PM
george.karpenkov updated the diff for D51821: [analyzer] Skip printing duplicate nodes, even if nodes have multiple predecessors/successors.
Fri, Sep 14, 5:54 PM
george.karpenkov added a dependent revision for D52113: Generate unique identifiers for Decl objects: D52114: [analyzer] Further printing improvements: use declarations.
Fri, Sep 14, 12:00 PM
george.karpenkov added a dependency for D52114: [analyzer] Further printing improvements: use declarations: D52113: Generate unique identifiers for Decl objects.
Fri, Sep 14, 12:00 PM
george.karpenkov created D52114: [analyzer] Further printing improvements: use declarations.
Fri, Sep 14, 11:59 AM
george.karpenkov created D52113: Generate unique identifiers for Decl objects.
Fri, Sep 14, 11:59 AM
george.karpenkov updated the diff for D51827: [analyzer] Generate and use stable identifiers for LocationContext.
Fri, Sep 14, 11:15 AM
george.karpenkov accepted D50818: [analyzer] Improved cmake configuration for Z3.
Fri, Sep 14, 10:31 AM · Restricted Project
george.karpenkov added a comment to D52008: [analyzer] Handle forwarding reference better in ExprMutationAnalyzer..

This looks very useful!

Fri, Sep 14, 10:27 AM
george.karpenkov accepted D51946: [analyzer] Remove PseudoConstantAnalysis.

Great, thanks! Seems that your code is a better version of this check.

Fri, Sep 14, 10:25 AM
george.karpenkov requested changes to D52086: [lit] Add a substitution for Clang Analyzer tests.

I'm not sure it makes sense to put it into the LLVM repo.
What about clang/test/lit.cfg.py? (or, if possible, inside clang/test/Analysis)

Fri, Sep 14, 10:24 AM
george.karpenkov accepted D52036: [Analyzer] Use diff_plist in tests, NFC.

Thanks!
A substitution would probably need to be defined in a different file though.

Fri, Sep 14, 10:24 AM

Thu, Sep 13

george.karpenkov added a dependency for D51825: [analyzer] Use correct end-of-line character when printing statements for exploded graph: D51824: StmtPrinter: allow customizing the end-of-line character.
Thu, Sep 13, 5:39 PM
george.karpenkov added a dependent revision for D51824: StmtPrinter: allow customizing the end-of-line character: D51825: [analyzer] Use correct end-of-line character when printing statements for exploded graph.
Thu, Sep 13, 5:39 PM · Restricted Project
george.karpenkov added inline comments to D51827: [analyzer] Generate and use stable identifiers for LocationContext.
Thu, Sep 13, 5:35 PM

Tue, Sep 11

george.karpenkov accepted D51950: [clangtidy] Remove old copy of ExprMutationAnalyzer.
Tue, Sep 11, 2:51 PM
george.karpenkov added a comment to D51950: [clangtidy] Remove old copy of ExprMutationAnalyzer.

Looks good to me, but I'm not the code owner.

Tue, Sep 11, 2:44 PM
george.karpenkov accepted D51948: [analyzer] Add ExprMutationAnalyzer.

Wow, thanks a lot, I'm really looking forward to using this!

Tue, Sep 11, 2:12 PM · Restricted Project
george.karpenkov committed rL341978: [analyzer] [NFC] Change the tests by making the version check more resilient.
[analyzer] [NFC] Change the tests by making the version check more resilient
Tue, Sep 11, 11:47 AM
george.karpenkov committed rC341978: [analyzer] [NFC] Change the tests by making the version check more resilient.
[analyzer] [NFC] Change the tests by making the version check more resilient
Tue, Sep 11, 11:47 AM
george.karpenkov accepted D51881: [ADT] Made numerous methods of ImmutableList const.
Tue, Sep 11, 10:14 AM