Page MenuHomePhabricator

sanaanajjar231288 (Sanaa82016 Najjar)
User

Projects

User does not belong to any projects.

User Details

User Since
Apr 20 2019, 1:47 PM (17 w, 4 d)

Recent Activity

Jun 20 2019

sanaanajjar231288 added a comment to D62688: [Analyzer] Iterator Checkers - Model `empty()` method of containers.

Hmm, an idea just popped into my head. I'm not sure whether we have a single checker that does so much complicated (and totally awesome) modeling as IteratorChecker. What do you think about a debug checker similar to debug.ExprInspection, like debug.IteratorInspection?

// RUN: %clang_analyzer_cc1 -analyzer-checker=core,debug.IteratorInspection

template <class Cont>
void clang_analyzer_container_size(const Cont &);

template <class It, class Cont>
void clang_analyzer_is_attached_to_container(const It &, const Cont &);

void non_empty1(const std::vector<int> &V) {
  assert(!V.empty());
  for (auto n: V) {}
  clang_analyzer_container_size(V); // expected-warning{{[1, intmax]}}
}

void non_empty2(const std::vector<int> &V) {
  for (auto n: V) {}
  assert(V.empty());
  clang_analyzer_container_size(V); // expected-warning{{[0, 0]}}
}

void foo(std::vector<int> v1, std::vector<int> v2) {
  clang_analyzer_is_attached_to_container(v1.begin(), v2); // expected-warning{{FALSE}}
}

etc etc.

Jun 20 2019, 3:40 AM · Restricted Project

Jun 15 2019

sanaanajjar231288 awarded rL363375: [clangd] Bump vscode-clangd v0.0.14 a Burninate token.
Jun 15 2019, 12:58 PM
sanaanajjar231288 added a comment to D62611: [analyzer][Dominators] Add unittests.

Fixes according to reviewer comments, thanks! :)

Jun 15 2019, 12:56 PM · Unknown Object (Project), Restricted Project

Jun 14 2019

sanaanajjar231288 changed the visibility for D62883: [analyzer] Track terminator conditions on which a tracked expressions depends.
Jun 14 2019, 5:33 AM · Unknown Object (Project), Restricted Project
sanaanajjar231288 awarded rL326548: [clangd:vscode] Bump clangd-vscode version to 0.0.4. a Burninate token.
Jun 14 2019, 5:19 AM