Use @safe: at the beginning

src/dscanner/analysis/alias_syntax_check.d

@@ -9,6 +9,8 @@ import dparse.ast;
 import dparse.lexer;
 import dscanner.analysis.base;
 
+@safe:
+
 /**
  * Checks for uses of the old alias syntax.
  */

src/dscanner/analysis/allman.d

@@ -12,6 +12,8 @@ import dsymbol.scope_ : Scope;
 import std.algorithm;
 import std.range;
 
+@safe:
+
 /**
 Checks for the allman style (braces should be on their own line)
 ------------

src/dscanner/analysis/asm_style.d

@@ -12,6 +12,8 @@ import dscanner.analysis.base;
 import dscanner.analysis.helpers;
 import dsymbol.scope_ : Scope;
 
+@safe:
+
 /**
  * Checks for confusing asm expressions.
  * See_also: $(LINK https://issues.dlang.org/show_bug.cgi?id=9738)

src/dscanner/analysis/assert_without_msg.d

@@ -13,6 +13,8 @@ import dparse.ast;
 import std.stdio;
 import std.algorithm;
 
+@safe:
+
 /**
  * Check that all asserts have an explanatory message.
  */

src/dscanner/analysis/auto_function.d

@@ -13,6 +13,8 @@ import dparse.lexer;
 import std.stdio;
 import std.algorithm.searching : any;
 
+@safe:
+
 /**
  * Checks for auto functions without return statement.
  *

src/dscanner/analysis/auto_ref_assignment.d

@@ -9,6 +9,8 @@ import dparse.lexer;
 import dparse.ast;
 import dscanner.analysis.base;
 
+@safe:
+
 /**
  * Checks for assignment to auto-ref function parameters.
  */

src/dscanner/analysis/base.d

@@ -6,6 +6,8 @@ import dparse.ast;
 import std.array;
 import dsymbol.scope_ : Scope;
 
+@safe:
+
 struct Message
 {
 	/// Name of the file where the warning was triggered

src/dscanner/analysis/builtin_property_names.d

@@ -14,6 +14,8 @@ import dscanner.analysis.helpers;
 import dsymbol.scope_;
 import std.algorithm : map;
 
+@safe:
+
 /**
  * The following code should be killed with fire:
  * ---

src/dscanner/analysis/comma_expression.d

@@ -10,6 +10,8 @@ import dparse.lexer;
 import dscanner.analysis.base;
 import dsymbol.scope_;
 
+@safe:
+
 /**
  * Check for uses of the comma expression.
  */

src/dscanner/analysis/config.d

@@ -7,6 +7,8 @@ module dscanner.analysis.config;
 
 import inifiled;
 
+@safe:
+
 /// Returns: A default configuration.
 StaticAnalysisConfig defaultStaticAnalysisConfig()
 {

src/dscanner/analysis/constructors.d

@@ -7,6 +7,8 @@ import dscanner.analysis.base;
 import dscanner.analysis.helpers;
 import dsymbol.scope_ : Scope;
 
+@safe:
+
 final class ConstructorCheck : BaseAnalyzer
 {
 	alias visit = BaseAnalyzer.visit;

src/dscanner/analysis/del.d

@@ -11,6 +11,8 @@ import dparse.lexer;
 import dscanner.analysis.base;
 import dsymbol.scope_;
 
+@safe:
+
 /**
  * Checks for use of the deprecated 'delete' keyword
  */

src/dscanner/analysis/duplicate_attribute.d

@@ -13,6 +13,8 @@ import dscanner.analysis.base;
 import dscanner.analysis.helpers;
 import dsymbol.scope_ : Scope;
 
+@safe:
+
 /**
  * Checks for duplicate attributes such as @property, @safe,
  * @trusted, @system, pure, and nothrow

src/dscanner/analysis/enumarrayliteral.d

@@ -11,6 +11,8 @@ import dscanner.analysis.base;
 import std.algorithm : canFind, map;
 import dsymbol.scope_ : Scope;
 
+@safe:
+
 void doNothing(string, size_t, size_t, string, bool)
 {
 }

src/dscanner/analysis/explicitly_annotated_unittests.d

@@ -10,6 +10,8 @@ import dscanner.analysis.base;
 
 import std.stdio;
 
+@safe:
+
 /**
  * Requires unittests to be explicitly annotated with either @safe or @system
  */

src/dscanner/analysis/final_attribute.d

@@ -10,6 +10,8 @@ import dscanner.analysis.helpers;
 import dparse.ast;
 import dparse.lexer;
 
+@safe:
+
 /**
  * Checks for useless usage of the final attribute.
  *

src/dscanner/analysis/fish.d

@@ -12,6 +12,8 @@ import dscanner.analysis.base;
 import dscanner.analysis.helpers;
 import dsymbol.scope_ : Scope;
 
+@safe:
+
 /**
  * Checks for use of the deprecated floating point comparison operators.
  */

src/dscanner/analysis/function_attributes.d

@@ -11,6 +11,8 @@ import dparse.lexer;
 import std.stdio;
 import dsymbol.scope_;
 
+@safe:
+
 /**
  * Prefer
  * ---

src/dscanner/analysis/has_public_example.d

@@ -12,6 +12,8 @@ import dparse.lexer;
 import std.algorithm;
 import std.stdio;
 
+@safe:
+
 /**
  * Checks for public declarations without a documented unittests.
  * For now, variable and enum declarations aren't checked.
@@ -332,4 +334,3 @@ unittest
 
 	stderr.writeln("Unittest for HasPublicExampleCheck passed.");
 }
-

src/dscanner/analysis/helpers.d

@@ -19,6 +19,8 @@ import dscanner.analysis.base;
 import stdx.allocator.mallocator;
 import stdx.allocator;
 
+@safe:
+
 S between(S)(S value, S before, S after) if (isSomeString!S)
 {
 	return value.after(before).before(after);

src/dscanner/analysis/if_constraints_indent.d

@@ -12,6 +12,8 @@ import dsymbol.scope_ : Scope;
 import std.algorithm.iteration : filter;
 import std.range;
 
+@safe:
+
 /**
 Checks whether all if constraints have the same indention as their declaration.
 */

src/dscanner/analysis/if_statements.d

@@ -10,6 +10,8 @@ import dparse.formatter;
 import dscanner.analysis.base;
 import dsymbol.scope_ : Scope;
 
+@safe:
+
 final class IfStatementCheck : BaseAnalyzer
 {
 	alias visit = BaseAnalyzer.visit;

src/dscanner/analysis/ifelsesame.d

@@ -12,6 +12,8 @@ import dscanner.analysis.base;
 import dscanner.analysis.helpers;
 import dsymbol.scope_ : Scope;
 
+@safe:
+
 /**
  * Checks for duplicated code in conditional and logical expressions.
  * $(UL

src/dscanner/analysis/imports_sortedness.d

@@ -10,6 +10,8 @@ import dparse.ast;
 
 import std.stdio;
 
+@safe:
+
 /**
  * Checks the sortedness of module imports
  */

src/dscanner/analysis/incorrect_infinite_range.d

@@ -10,6 +10,8 @@ import dscanner.analysis.helpers;
 import dparse.ast;
 import dparse.lexer;
 
+@safe:
+
 /**
  * Checks for incorrect infinite range definitions
  */

src/dscanner/analysis/label_var_same_name_check.d

@@ -10,6 +10,8 @@ import dsymbol.scope_ : Scope;
 import dscanner.analysis.base;
 import dscanner.analysis.helpers;
 
+@safe:
+
 /**
  * Checks for labels and variables that have the same name.
  */

src/dscanner/analysis/lambda_return_check.d

@@ -10,6 +10,8 @@ import dparse.lexer;
 import dscanner.analysis.base;
 import dscanner.utils : safeAccess;
 
+@safe:
+
 final class LambdaReturnCheck : BaseAnalyzer
 {
 	alias visit = BaseAnalyzer.visit;

src/dscanner/analysis/length_subtraction.d

@@ -13,6 +13,8 @@ import dscanner.analysis.base;
 import dscanner.analysis.helpers;
 import dsymbol.scope_;
 
+@safe:
+
 /**
  * Checks for subtraction from a .length property. This is usually a bug.
  */

src/dscanner/analysis/line_length.d

@@ -12,6 +12,8 @@ import dparse.lexer;
 
 import std.typecons : tuple, Tuple;
 
+@safe:
+
 /**
  * Checks for lines longer than 120 characters
  */

src/dscanner/analysis/local_imports.d

@@ -12,6 +12,8 @@ import dscanner.analysis.base;
 import dscanner.analysis.helpers;
 import dsymbol.scope_;
 
+@safe:
+
 /**
  * Checks for local imports that import all symbols.
  * See_also: $(LINK https://issues.dlang.org/show_bug.cgi?id=10378)

src/dscanner/analysis/logic_precedence.d

@@ -12,6 +12,8 @@ import dscanner.analysis.base;
 import dscanner.analysis.helpers;
 import dsymbol.scope_;
 
+@safe:
+
 /**
  * Checks for code with confusing && and || operator precedence
  * ---

src/dscanner/analysis/mismatched_args.d

@@ -8,6 +8,8 @@ import dparse.ast;
 import dparse.lexer : tok;
 import dsymbol.builtin.names;
 
+@safe:
+
 /// Checks for mismatched argument and parameter names
 final class MismatchedArgumentCheck : BaseAnalyzer
 {

src/dscanner/analysis/numbers.d

@@ -13,6 +13,8 @@ import dscanner.analysis.base;
 import dscanner.analysis.helpers;
 import dsymbol.scope_ : Scope;
 
+@safe:
+
 /**
  * Checks for long and hard-to-read number literals
  */

src/dscanner/analysis/objectconst.d

@@ -13,6 +13,8 @@ import dscanner.analysis.base;
 import dscanner.analysis.helpers;
 import dsymbol.scope_ : Scope;
 
+@safe:
+
 /**
  * Checks that opEquals, opCmp, toHash, 'opCast', and toString are either const,
  * immutable, or inout.

src/dscanner/analysis/opequals_without_tohash.d

@@ -12,6 +12,8 @@ import dscanner.analysis.base;
 import dscanner.analysis.helpers;
 import dsymbol.scope_ : Scope;
 
+@safe:
+
 /**
  * Checks for when a class/struct has the method opEquals without toHash, or
  * toHash without opEquals.

src/dscanner/analysis/pokemon.d

@@ -12,6 +12,8 @@ import dscanner.analysis.base;
 import dscanner.analysis.helpers;
 import dsymbol.scope_ : Scope;
 
+@safe:
+
 /**
  * Checks for Pokémon exception handling, i.e. "gotta' catch 'em all".
  *

src/dscanner/analysis/properly_documented_public_functions.d

@@ -14,6 +14,8 @@ import std.format : format;
 import std.range.primitives;
 import std.stdio;
 
+@safe:
+
 /**
  * Requires each public function to contain the following ddoc sections
 	- PARAMS:

src/dscanner/analysis/range.d

@@ -12,6 +12,8 @@ import dscanner.analysis.base;
 import dscanner.analysis.helpers;
 import dsymbol.scope_ : Scope;
 
+@safe:
+
 /**
  * Checks for .. expressions where the left side is larger than the right. This
  * is almost always a mistake.

src/dscanner/analysis/redundant_attributes.d

@@ -14,6 +14,8 @@ import std.algorithm;
 import std.conv : to, text;
 import std.range : empty, front, walkLength;
 
+@safe:
+
 /**
  * Checks for redundant attributes. At the moment only visibility attributes.
  */

src/dscanner/analysis/redundant_parens.d

@@ -10,6 +10,8 @@ import dparse.lexer;
 import dscanner.analysis.base;
 import dsymbol.scope_ : Scope;
 
+@safe:
+
 /**
  * Checks for redundant parenthesis
  */

src/dscanner/analysis/redundant_storage_class.d

@@ -13,6 +13,8 @@ import dscanner.analysis.base;
 import dscanner.analysis.helpers;
 import dsymbol.scope_ : Scope;
 
+@safe:
+
 /**
  * Checks for redundant storage classes such immutable and __gshared, static and __gshared
  */

src/dscanner/analysis/run.d

@@ -99,6 +99,8 @@ private alias ASTAllocator = CAllocatorImpl!(
 
 immutable string defaultErrorFormat = "{filepath}({line}:{column})[{type}]: {message}";
 
+@safe:
+
 void messageFunctionFormat(string format, Message message, bool isError)
 {
 	auto s = format;
@@ -605,4 +607,3 @@ MessageSet analyze(string fileName, const Module m, const StaticAnalysisConfig a
 
 	return set;
 }
-