projects
/
platform
/
upstream
/
llvm.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
[clang][dataflow] Rename member to make it clear that it isn't stable
2022-08-03
Stanislav Gatev
[clang][dataflow] Rename member to make it clear that...
commit
|
commitdiff
|
tree
2022-08-03
Stanislav Gatev
[clang][dataflow] Make the type of the post visit callback...
commit
|
commitdiff
|
tree
2022-06-30
Stanislav Gatev
[clang][dataflow] Handle `for` statements without conditions
commit
|
commitdiff
|
tree
2022-06-20
Stanislav Gatev
[clang][dataflow] Extend flow condition in the body...
commit
|
commitdiff
|
tree
2022-06-20
Stanislav Gatev
[clang][dataflow] Extend flow condition in the body...
commit
|
commitdiff
|
tree
2022-06-17
Stanislav Gatev
[clang][dataflow] Add support for comma binary operator
commit
|
commitdiff
|
tree
2022-06-15
Stanislav Gatev
[clang][dataflow] Make `Value` and `StorageLocation...
commit
|
commitdiff
|
tree
2022-06-15
Stanislav Gatev
[clang][dataflow] Add support for correlated branches...
commit
|
commitdiff
|
tree
2022-06-03
Stanislav Gatev
[clang][dataflow] Model calls returning optionals
commit
|
commitdiff
|
tree
2022-06-02
Stanislav Gatev
[clang][dataflow] Add transfer functions for structured...
commit
|
commitdiff
|
tree
2022-05-01
Stanislav Gatev
[clang][dataflow] Optimize flow condition representation
commit
|
commitdiff
|
tree
2022-03-22
Stanislav Gatev
[clang][dataflow] Model the behavior of optional and...
commit
|
commitdiff
|
tree
2022-03-17
Stanislav Gatev
[clang][dataflow] Model the behavior of non-standard...
commit
|
commitdiff
|
tree
2022-03-15
Stanislav Gatev
[clang][dataflow] Model the behavior of non-standard...
commit
|
commitdiff
|
tree
2022-03-14
Stanislav Gatev
[clang][dataflow] Add support for nested composite...
commit
|
commitdiff
|
tree
2022-03-14
Stanislav Gatev
[clang][dataflow] Model the behavior of various optional...
commit
|
commitdiff
|
tree
2022-03-10
Stanislav Gatev
[clang][dataflow] Add analysis that detects unsafe...
commit
|
commitdiff
|
tree
2022-03-09
Stanislav Gatev
Revert "[clang][dataflow] Move dataflow testing support...
commit
|
commitdiff
|
tree
2022-03-09
Stanislav Gatev
[clang][dataflow] Move dataflow testing support out...
commit
|
commitdiff
|
tree
2022-03-09
Stanislav Gatev
Revert "[clang][dataflow] Add analysis that detects...
commit
|
commitdiff
|
tree
2022-03-09
Stanislav Gatev
[clang][dataflow] Add analysis that detects unsafe...
commit
|
commitdiff
|
tree
2022-03-07
Stanislav Gatev
[clang][dataflow] Extend flow conditions from block...
commit
|
commitdiff
|
tree
2022-03-02
Stanislav Gatev
[clang][dataflow] Add flow condition constraints to...
commit
|
commitdiff
|
tree
2022-02-25
Stanislav Gatev
[clang][dataflow] Add SAT solver interface and implementation
commit
|
commitdiff
|
tree
2022-02-24
Stanislav Gatev
[clang][dataflow] Update StructValue child when assigning...
commit
|
commitdiff
|
tree
2022-02-23
Stanislav Gatev
Revert "Revert "[clang][dataflow] Add support for global...
commit
|
commitdiff
|
tree
2022-02-23
Stanislav Gatev
Revert "[clang][dataflow] Add support for global storage...
commit
|
commitdiff
|
tree
2022-02-23
Stanislav Gatev
[clang][dataflow] Add support for global storage values
commit
|
commitdiff
|
tree
2022-02-17
Stanislav Gatev
Add missing break statement in switch.
commit
|
commitdiff
|
tree
2022-02-17
Stanislav Gatev
[clang][dataflow] Add transfer functions for logical...
commit
|
commitdiff
|
tree
2022-02-11
Stanislav Gatev
[clang][dataflow] Include terminator statements in...
commit
|
commitdiff
|
tree
2022-02-01
Stanislav Gatev
[clang][dataflow] Enable comparison of distinct values...
commit
|
commitdiff
|
tree
2022-01-29
Stanislav Gatev
[clang][dataflow] Merge distinct pointer values in...
commit
|
commitdiff
|
tree
2022-01-26
Stanislav Gatev
[clang][dataflow] Add a transfer function for CXXBoolLiteralExpr
commit
|
commitdiff
|
tree
2022-01-26
Stanislav Gatev
[clang][dataflow] Enable merging distinct values in...
commit
|
commitdiff
|
tree
2022-01-26
Stanislav Gatev
[clang][dataflow] Assign aggregate storage locations...
commit
|
commitdiff
|
tree
2022-01-25
Stanislav Gatev
[clang][dataflow] Add a transfer function for InitListExpr
commit
|
commitdiff
|
tree
2022-01-20
Stanislav Gatev
[clang][dataflow] Intersect ExprToLoc when joining...
commit
|
commitdiff
|
tree
2022-01-19
Stanislav Gatev
[clang][dataflow] Add a transfer function for conditional...
commit
|
commitdiff
|
tree
2022-01-19
Stanislav Gatev
Revert "Revert "[clang][dataflow] Add a test to justify...
commit
|
commitdiff
|
tree
2022-01-19
Stanislav Gatev
Revert "[clang][dataflow] Add a test to justify skipping...
commit
|
commitdiff
|
tree
2022-01-18
Stanislav Gatev
[clang][dataflow] Add a test to justify skipping past...
commit
|
commitdiff
|
tree
2022-01-18
Stanislav Gatev
[clang][dataflow] Remove obsolete FIXME
commit
|
commitdiff
|
tree
2022-01-18
Stanislav Gatev
[clang][dataflow] Add transfer function for addrof
commit
|
commitdiff
|
tree
2022-01-18
Stanislav Gatev
[clang][dataflow] Replace initValueInStorageLocation...
commit
|
commitdiff
|
tree
2022-01-16
Stanislav Gatev
[clang][dataflow] Add transfer functions for bind temporary...
commit
|
commitdiff
|
tree
2022-01-14
Stanislav Gatev
[clang][dataflow] Add transfer functions for constructors
commit
|
commitdiff
|
tree
2022-01-12
Stanislav Gatev
[clang][dataflow] Add transfer functions for initializers
commit
|
commitdiff
|
tree
2022-01-12
Stanislav Gatev
[clang][dataflow] Add transfer functions for data members...
commit
|
commitdiff
|
tree
2022-01-10
Stanislav Gatev
[clang][dataflow] Add transfer functions for assignment
commit
|
commitdiff
|
tree
2022-01-04
Stanislav Gatev
[clang][dataflow] Add transfer function for VarDecl...
commit
|
commitdiff
|
tree
2021-12-28
Stanislav Gatev
[clang][dataflow] Add support for noreturn destructor...
commit
|
commitdiff
|
tree