| Directory: | cvmfs/ |
|---|---|
| File: | cvmfs/path_filters/dirtab.cc |
| Date: | 2026-03-15 02:35:27 |
| Exec | Total | Coverage | |
|---|---|---|---|
| Lines: | 87 | 95 | 91.6% |
| Branches: | 68 | 92 | 73.9% |
| Line | Branch | Exec | Source |
|---|---|---|---|
| 1 | /** | ||
| 2 | * This file is part of the CernVM File System. | ||
| 3 | */ | ||
| 4 | |||
| 5 | #include "dirtab.h" | ||
| 6 | |||
| 7 | #include <cassert> | ||
| 8 | #include <cerrno> | ||
| 9 | #include <cstdio> | ||
| 10 | #include <cstdlib> | ||
| 11 | |||
| 12 | #include "util/logging.h" | ||
| 13 | #include "util/posix.h" | ||
| 14 | #include "util/string.h" | ||
| 15 | |||
| 16 | namespace catalog { | ||
| 17 | |||
| 18 | 364 | Dirtab::Dirtab() : valid_(true) { } | |
| 19 | |||
| 20 | |||
| 21 | 35 | bool Dirtab::Open(const std::string &dirtab_path) { | |
| 22 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 35 times.
|
35 | if (!FileExists(dirtab_path)) { |
| 23 | ✗ | LogCvmfs(kLogCatalog, kLogStderr, "Cannot find dirtab at '%s'", | |
| 24 | dirtab_path.c_str()); | ||
| 25 | ✗ | valid_ = false; | |
| 26 | ✗ | return valid_; | |
| 27 | } | ||
| 28 | |||
| 29 | 35 | FILE *dirtab_file = fopen(dirtab_path.c_str(), "r"); | |
| 30 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 35 times.
|
35 | if (dirtab_file == NULL) { |
| 31 | ✗ | LogCvmfs(kLogCatalog, kLogStderr, | |
| 32 | "Cannot open dirtab for reading at '%s' " | ||
| 33 | "(errno: %d)", | ||
| 34 | ✗ | dirtab_path.c_str(), errno); | |
| 35 | ✗ | valid_ = false; | |
| 36 | ✗ | return valid_; | |
| 37 | } | ||
| 38 | |||
| 39 | 35 | valid_ = Parse(dirtab_file); | |
| 40 | 35 | fclose(dirtab_file); | |
| 41 | 35 | return valid_; | |
| 42 | } | ||
| 43 | |||
| 44 | 224 | bool Dirtab::Parse(const std::string &dirtab) { | |
| 45 | 224 | valid_ = true; | |
| 46 | 224 | off_t line_offset = 0; | |
| 47 |
2/2✓ Branch 1 taken 1182 times.
✓ Branch 2 taken 224 times.
|
1406 | while (line_offset < static_cast<off_t>(dirtab.size())) { |
| 48 | 2364 | const std::string line = GetLineMem(dirtab.c_str() + line_offset, | |
| 49 |
1/2✓ Branch 3 taken 1182 times.
✗ Branch 4 not taken.
|
1182 | dirtab.size() - line_offset); |
| 50 | 1182 | line_offset += line.size() + 1; // +1 == skipped \n | |
| 51 |
3/4✓ Branch 1 taken 1182 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 2 times.
✓ Branch 4 taken 1180 times.
|
1182 | if (!ParseLine(line)) { |
| 52 | 2 | valid_ = false; | |
| 53 | } | ||
| 54 | 1182 | } | |
| 55 |
4/4✓ Branch 0 taken 222 times.
✓ Branch 1 taken 2 times.
✓ Branch 3 taken 221 times.
✓ Branch 4 taken 1 times.
|
224 | valid_ = valid_ && CheckRuleValidity(); |
| 56 | 224 | return valid_; | |
| 57 | } | ||
| 58 | |||
| 59 | |||
| 60 | 70 | bool Dirtab::Parse(FILE *dirtab_file) { | |
| 61 | 70 | valid_ = true; | |
| 62 | 70 | std::string line; | |
| 63 |
3/4✓ Branch 1 taken 140 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 70 times.
✓ Branch 4 taken 70 times.
|
140 | while (GetLineFile(dirtab_file, &line)) { |
| 64 |
2/4✓ Branch 1 taken 70 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
✓ Branch 4 taken 70 times.
|
70 | if (!ParseLine(line)) { |
| 65 | ✗ | valid_ = false; | |
| 66 | } | ||
| 67 | } | ||
| 68 |
3/6✓ Branch 0 taken 70 times.
✗ Branch 1 not taken.
✓ Branch 3 taken 70 times.
✗ Branch 4 not taken.
✓ Branch 5 taken 70 times.
✗ Branch 6 not taken.
|
70 | valid_ = valid_ && CheckRuleValidity(); |
| 69 | 70 | return valid_; | |
| 70 | 70 | } | |
| 71 | |||
| 72 | |||
| 73 | 1252 | bool Dirtab::ParseLine(const std::string &line) { | |
| 74 | // line parsing is done using std::string iterators. Each parsing method ex- | ||
| 75 | // pects an iterator and the end iterator. While parsing itr is constantly | ||
| 76 | // incremented to walk through the given .cvmfsdirtab line. | ||
| 77 | 1252 | std::string::const_iterator itr = line.begin(); | |
| 78 | 1252 | const std::string::const_iterator iend = line.end(); | |
| 79 | 1252 | bool negation = false; | |
| 80 | |||
| 81 | // parse preamble | ||
| 82 | 1252 | SkipWhitespace(iend, &itr); | |
| 83 |
2/2✓ Branch 1 taken 437 times.
✓ Branch 2 taken 815 times.
|
1252 | if (*itr == Dirtab::kCommentMarker) { |
| 84 | 437 | return true; | |
| 85 |
2/2✓ Branch 1 taken 368 times.
✓ Branch 2 taken 447 times.
|
815 | } else if (*itr == Dirtab::kNegationMarker) { |
| 86 | 368 | negation = true; | |
| 87 | 368 | ++itr; | |
| 88 | 368 | SkipWhitespace(iend, &itr); | |
| 89 | } | ||
| 90 | |||
| 91 | // extract and parse pathspec | ||
| 92 |
2/4✓ Branch 2 taken 815 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 815 times.
✗ Branch 6 not taken.
|
1630 | const std::string pathspec_str(Trim(std::string(itr, iend))); |
| 93 |
1/2✓ Branch 1 taken 815 times.
✗ Branch 2 not taken.
|
815 | return this->ParsePathspec(pathspec_str, negation); |
| 94 | 815 | } | |
| 95 | |||
| 96 | 1165 | bool Dirtab::ParsePathspec(const std::string &pathspec_str, bool negation) { | |
| 97 |
2/2✓ Branch 1 taken 10 times.
✓ Branch 2 taken 1155 times.
|
1165 | if (pathspec_str.empty()) { |
| 98 | 10 | return true; | |
| 99 | } | ||
| 100 |
1/2✓ Branch 1 taken 1155 times.
✗ Branch 2 not taken.
|
1155 | const Pathspec pathspec(pathspec_str); |
| 101 | |||
| 102 | // all generated Pathspecs need to be valid and positive rules must be | ||
| 103 | // absolute. Otherwise the .cvmfsdirtab is not valid. | ||
| 104 |
8/8✓ Branch 1 taken 1154 times.
✓ Branch 2 taken 1 times.
✓ Branch 3 taken 787 times.
✓ Branch 4 taken 367 times.
✓ Branch 6 taken 1 times.
✓ Branch 7 taken 786 times.
✓ Branch 8 taken 2 times.
✓ Branch 9 taken 1153 times.
|
1155 | if (!pathspec.IsValid() || (!negation && !pathspec.IsAbsolute())) { |
| 105 | 2 | return false; | |
| 106 | } | ||
| 107 | |||
| 108 | // create a new dirtab rule | ||
| 109 |
1/2✓ Branch 1 taken 1153 times.
✗ Branch 2 not taken.
|
1153 | const Rule rule(pathspec, negation); |
| 110 |
1/2✓ Branch 1 taken 1153 times.
✗ Branch 2 not taken.
|
1153 | AddRule(rule); |
| 111 | 1153 | return true; | |
| 112 | 1155 | } | |
| 113 | |||
| 114 | |||
| 115 | 1153 | void Dirtab::AddRule(const Rule &rule) { | |
| 116 |
2/2✓ Branch 0 taken 367 times.
✓ Branch 1 taken 786 times.
|
1153 | if (rule.is_negation) { |
| 117 | 367 | negative_rules_.push_back(rule); | |
| 118 | } else { | ||
| 119 | 786 | positive_rules_.push_back(rule); | |
| 120 | } | ||
| 121 | 1153 | } | |
| 122 | |||
| 123 | |||
| 124 | 292 | bool Dirtab::CheckRuleValidity() const { | |
| 125 | // check if there are contradicting positive and negative rules | ||
| 126 | 292 | Rules::const_iterator p = positive_rules_.begin(); | |
| 127 | 292 | const Rules::const_iterator pend = positive_rules_.end(); | |
| 128 |
2/2✓ Branch 2 taken 785 times.
✓ Branch 3 taken 291 times.
|
1076 | for (; p != pend; ++p) { |
| 129 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 785 times.
|
785 | assert(!p->is_negation); |
| 130 | 785 | Rules::const_iterator n = negative_rules_.begin(); | |
| 131 | 785 | const Rules::const_iterator nend = negative_rules_.end(); | |
| 132 |
2/2✓ Branch 2 taken 1041 times.
✓ Branch 3 taken 784 times.
|
1825 | for (; n != nend; ++n) { |
| 133 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 1041 times.
|
1041 | assert(n->is_negation); |
| 134 |
3/4✓ Branch 3 taken 1041 times.
✗ Branch 4 not taken.
✓ Branch 5 taken 1 times.
✓ Branch 6 taken 1040 times.
|
1041 | if (p->pathspec == n->pathspec) { |
| 135 | 1 | return false; | |
| 136 | } | ||
| 137 | } | ||
| 138 | } | ||
| 139 | |||
| 140 | 291 | return true; | |
| 141 | } | ||
| 142 | |||
| 143 | |||
| 144 | 1749 | bool Dirtab::IsMatching(const std::string &path) const { | |
| 145 | // check if path has a positive match | ||
| 146 | 1749 | bool has_positive_match = false; | |
| 147 | 1749 | Rules::const_iterator p = positive_rules_.begin(); | |
| 148 | 1749 | const Rules::const_iterator pend = positive_rules_.end(); | |
| 149 |
2/2✓ Branch 2 taken 4458 times.
✓ Branch 3 taken 1026 times.
|
5484 | for (; p != pend; ++p) { |
| 150 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 4458 times.
|
4458 | assert(!p->is_negation); |
| 151 |
3/4✓ Branch 2 taken 4458 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 723 times.
✓ Branch 5 taken 3735 times.
|
4458 | if (p->pathspec.IsMatching(path)) { |
| 152 | 723 | has_positive_match = true; | |
| 153 | 723 | break; | |
| 154 | } | ||
| 155 | } | ||
| 156 | |||
| 157 |
5/6✓ Branch 0 taken 723 times.
✓ Branch 1 taken 1026 times.
✓ Branch 3 taken 723 times.
✗ Branch 4 not taken.
✓ Branch 5 taken 716 times.
✓ Branch 6 taken 7 times.
|
1749 | return has_positive_match && !IsOpposing(path); |
| 158 | } | ||
| 159 | |||
| 160 | |||
| 161 | 3797 | bool Dirtab::IsOpposing(const std::string &path) const { | |
| 162 | 3797 | Rules::const_iterator n = negative_rules_.begin(); | |
| 163 | 3797 | const Rules::const_iterator nend = negative_rules_.end(); | |
| 164 |
2/2✓ Branch 2 taken 5262 times.
✓ Branch 3 taken 3565 times.
|
8827 | for (; n != nend; ++n) { |
| 165 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 5262 times.
|
5262 | assert(n->is_negation); |
| 166 |
3/4✓ Branch 2 taken 5262 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 232 times.
✓ Branch 5 taken 5030 times.
|
5262 | if (n->pathspec.IsMatchingRelaxed(path)) { |
| 167 | 232 | return true; | |
| 168 | } | ||
| 169 | } | ||
| 170 | |||
| 171 | 3565 | return false; | |
| 172 | } | ||
| 173 | |||
| 174 | } // namespace catalog | ||
| 175 |