diff --git a/.github/workflows/all_tests.yml b/.github/workflows/all_tests.yml
new file mode 100644
index 0000000..f23a0ed
--- /dev/null
+++ b/.github/workflows/all_tests.yml
@@ -0,0 +1,47 @@
+name: "All Tests"
+
+on:
+    pull_request:
+    push:
+
+jobs:
+    test:
+        name: "Run all checks for all supported PHP versions"
+
+        runs-on: "ubuntu-22.04"
+
+        strategy:
+            fail-fast: false
+            matrix:
+                php-version:
+                    - "8.0"
+                    - "8.1"
+                    - "8.2"
+                    - "8.3"
+
+        steps:
+            - name: "Checkout"
+              uses: "actions/checkout@v4"
+
+            - name: "Install PHP"
+              uses: "shivammathur/setup-php@v2"
+              with:
+                  php-version: "${{ matrix.php-version }}"
+                  tools: composer
+
+            - name: Get composer cache directory
+              id: composercache
+              run: echo "dir=$(composer config cache-files-dir)" >> $GITHUB_OUTPUT
+
+            - name: Cache dependencies
+              uses: actions/cache@v4
+              with:
+                  path: ${{ steps.composercache.outputs.dir }}
+                  key: "php-${{ matrix.php-version }}-${{ hashFiles('**/composer.lock') }}"
+                  restore-keys: "php-${{ matrix.php-version }}-${{ hashFiles('**/composer.lock') }}"
+
+            - name: "Install composer dependencies"
+              run: "composer install --no-interaction --no-progress"
+
+            - name: "Run tests"
+              run: "composer tests"
\ No newline at end of file
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..03df99b
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,4 @@
+/vendor/
+composer.lock
+.idea
+.phpunit.cache
diff --git a/README.md b/README.md
index c40c1a0..fb4b167 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1,107 @@
-# phpstan-extension
-PHPStan extension to read static analysis attributes
+# PHP Static Analysis Attributes PHPStan Extension
+[![Continuous Integration](https://github.com/php-static-analysis/phpstan-extension/workflows/All%20Tests/badge.svg)](https://github.com/php-static-analysis/phpstan-extension/actions)
+[![Latest Stable Version](https://poser.pugx.org/php-static-analysis/phpstan-extension/v/stable)](https://packagist.org/packages/php-static-analysis/phpstan-extension)
+[![PHP Version Require](http://poser.pugx.org/php-static-analysis/phpstan-extension/require/php)](https://packagist.org/packages/php-static-analysis/phpstan-extension)
+[![License](https://poser.pugx.org/php-static-analysis/phpstan-extension/license)](https://github.com/php-static-analysis/phpstan-extension/blob/main/LICENSE)
+[![Total Downloads](https://poser.pugx.org/php-static-analysis/phpstan-extension/downloads)](https://packagist.org/packages/php-static-analysis/phpstan-extension/stats)
+
+Since the release of PHP 8.0 more and more libraries, frameworks and tools have been updated to use attributes instead of annotations in PHPDocs.
+
+However, static analysis tools like PHPStan have not made this transition to attributes and they still rely on annotations in PHPDocs for a lot of their functionality.
+
+This is a PHPStan extension that allows PHPStan to understand a new set of attributes that replace the PHPDoc annotations. These attributes are defined in [this repository](https://github.com/php-static-analysis/attributes)
+
+## Example
+
+In order to show how code would look with these attributes, we can look at the following example. This is how a class looks like with the current annotations:
+
+```php
+<?php
+
+class ArrayAdder
+{
+    /** @var array<string>  */
+    private array $result;
+
+    /**
+     * @param array<string> $array1
+     * @param array<string> $array2
+     * @return array<string>
+     */
+    public function addArrays(array $array1, array $array2): array
+    {
+        $this->result = $array1 + $array2;
+        return $this->result;
+    }
+}
+```
+
+And this is how it would look like using the new attributes:
+
+```php
+<?php
+
+use PhpStaticAnalysis\Attributes\Type;
+use PhpStaticAnalysis\Attributes\Param;
+use PhpStaticAnalysis\Attributes\Returns;
+
+class ArrayAdder
+{
+    #[Type('array<string>')]
+    private array $result;
+
+    #[Param(array1: 'array<string>')]
+    #[Param(array2: 'array<string>')]
+    #[Returns('array<string>')]
+    public function addArrays(array $array1, array $array2): array
+    {
+        $this->array = $array1 + $array2;
+        return $this->array;
+    }
+}
+```
+
+## Installation
+
+First of all, to make the attributes available for your codebase use:
+
+```
+composer require php-static-analysis/attributes
+```
+
+To use this extension, require it in Composer:
+
+```
+composer require --dev php-static-analysis/phpstan-extension
+```
+
+If you also install [phpstan/extension-installer](https://github.com/phpstan/extension-installer) then you're all set!
+
+<details>
+  <summary>Manual installation</summary>
+
+If you don't want to use `phpstan/extension-installer`, include `extension.neon` in your project's PHPStan config:
+
+```
+includes:
+    - vendor/php-static-analysis/phpstan-extension/extension.neon
+```
+</details>
+
+## Using the extension
+
+This extension works by interacting with the parser that PHPStan uses to parse the code and replacing the new Attributes with PHPDoc annotations that PHPStan can understand. The functionality provided by the attribute is exactly the same as the one provided by the corresponding PHPDoc annotation.
+
+These are the available attributes and their corresponding PHPDoc annotations:
+
+| Attribute                                                                                   | PHPDoc Annotation |
+|---------------------------------------------------------------------------------------------|-------------------|
+| [IsReadOnly](https://github.com/php-static-analysis/attributes/blob/main/doc/IsReadOnly.md) | `@readonly`       |
+| [Param](https://github.com/php-static-analysis/attributes/blob/main/doc/Param.md)           | `@param`          |
+| [Returns](https://github.com/php-static-analysis/attributes/blob/main/doc/Returns.md)       | `@return`         |
+| [Template](https://github.com/php-static-analysis/attributes/blob/main/doc/Template.md)     | `@template`       |
+| [Type](https://github.com/php-static-analysis/attributes/blob/main/doc/Type.md)             | `@var`            |
+
+
+
+
diff --git a/composer.json b/composer.json
new file mode 100644
index 0000000..8d0c8d1
--- /dev/null
+++ b/composer.json
@@ -0,0 +1,61 @@
+{
+    "name": "php-static-analysis/phpstan-extension",
+    "description": "PHPStan extension to read static analysis attributes",
+    "type": "phpstan-extension",
+    "keywords": ["dev", "static analysis"],
+    "license": "MIT",
+    "autoload": {
+        "psr-4": {
+            "PhpStaticAnalysis\\PHPStanExtension\\": "src/"
+        }
+    },
+    "autoload-dev": {
+        "psr-4": {
+            "test\\PhpStaticAnalysis\\PHPStanExtension\\": "tests/"
+        }
+    },
+    "authors": [
+        {
+            "name": "Carlos Granados",
+            "email": "carlos@fastdebug.io"
+        }
+    ],
+    "minimum-stability": "dev",
+    "prefer-stable": true,
+    "require": {
+        "php": ">=8.0",
+        "php-static-analysis/attributes": "^0.1 || dev-main",
+        "php-static-analysis/node-visitor": "^0.1 || dev-main",
+        "phpstan/phpstan": "^1.8"
+    },
+    "require-dev": {
+        "php-static-analysis/psalm-plugin": "dev-main",
+        "phpunit/phpunit": "^9.0",
+        "symplify/easy-coding-standard": "^12.1",
+        "vimeo/psalm": "^5"
+    },
+    "extra": {
+        "phpstan": {
+            "includes": [
+                "extension.neon"
+            ]
+        }
+    },
+    "config": {
+        "sort-packages": true
+    },
+    "scripts": {
+        "phpstan": "phpstan analyse",
+        "phpstan-debug": "phpstan analyse --xdebug --debug",
+        "ecs": "ecs",
+        "ecs-fix": "ecs --fix",
+        "phpunit": "phpunit",
+        "psalm": "psalm",
+        "tests": [
+            "@ecs",
+            "@phpstan",
+            "@phpunit",
+            "@psalm"
+        ]
+    }
+}
diff --git a/ecs.php b/ecs.php
new file mode 100644
index 0000000..6a518f6
--- /dev/null
+++ b/ecs.php
@@ -0,0 +1,15 @@
+<?php
+
+declare(strict_types=1);
+
+use PhpCsFixer\Fixer\Import\NoUnusedImportsFixer;
+use Symplify\EasyCodingStandard\Config\ECSConfig;
+
+return ECSConfig::configure()
+    ->withPaths([
+        __DIR__ . '/src',
+        __DIR__ . '/tests',
+    ])
+    ->withPreparedSets(
+        psr12: true,
+    );
diff --git a/extension.neon b/extension.neon
new file mode 100644
index 0000000..d483c75
--- /dev/null
+++ b/extension.neon
@@ -0,0 +1,13 @@
+services:
+	attributeParser:
+		class: PhpStaticAnalysis\PHPStanExtension\Parser\AttributeParser
+		arguments:
+			parser: @pathRoutingParser
+		autowired: false
+
+	defaultAnalysisParser:
+		class: PHPStan\Parser\CachedParser
+		arguments:
+			originalParser: @attributeParser
+			cachedNodesByStringCountMax: %cache.nodesByStringCountMax%
+		autowired: false
diff --git a/phpstan.neon b/phpstan.neon
new file mode 100644
index 0000000..3f21a8f
--- /dev/null
+++ b/phpstan.neon
@@ -0,0 +1,18 @@
+includes:
+    - extension.neon
+    - phar://phpstan.phar/conf/bleedingEdge.neon
+
+parameters:
+    level: max
+    paths:
+        - src
+        - tests
+    excludePaths:
+        - tests/data/*
+    ignoreErrors:
+        -
+            message: '#^Accessing [a-zA-Z\\]+::class is not covered by backward compatibility promise. The class might change in a minor PHPStan version.$#'
+            path: tests/BaseAttributeTestCase.php
+        -
+            message: '#^Calling [a-zA-Z\\]+::[a-zA-Z]+\(\) is not covered by backward compatibility promise. The method might change in a minor PHPStan version.$#'
+            path: tests/BaseAttributeTestCase.php
diff --git a/phpunit.xml b/phpunit.xml
new file mode 100644
index 0000000..ac6b490
--- /dev/null
+++ b/phpunit.xml
@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<phpunit xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+         xsi:noNamespaceSchemaLocation="https://schema.phpunit.de/9.6/phpunit.xsd"
+         bootstrap="vendor/autoload.php"
+         cacheResultFile=".phpunit.cache/test-results"
+         executionOrder="depends,defects"
+         beStrictAboutCoversAnnotation="true"
+         beStrictAboutOutputDuringTests="true"
+         beStrictAboutTodoAnnotatedTests="true"
+         convertDeprecationsToExceptions="true"
+         failOnRisky="true"
+         failOnWarning="true"
+         verbose="true">
+    <testsuites>
+        <testsuite name="default">
+            <directory>tests</directory>
+        </testsuite>
+    </testsuites>
+</phpunit>
\ No newline at end of file
diff --git a/psalm.xml b/psalm.xml
new file mode 100644
index 0000000..55a8ab4
--- /dev/null
+++ b/psalm.xml
@@ -0,0 +1,23 @@
+<?xml version="1.0" ?>
+<psalm
+        xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+        xmlns="https://getpsalm.org/schema/config"
+        xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
+
+        errorLevel="1"
+        findUnusedBaselineEntry="true"
+        findUnusedCode="false"
+>
+    <projectFiles>
+        <directory name="src" />
+        <directory name="tests" />
+        <ignoreFiles>
+            <directory name="vendor" />
+            <directory name="tests/data" />
+        </ignoreFiles>
+    </projectFiles>
+
+    <plugins>
+        <pluginClass class="PhpStaticAnalysis\PsalmPlugin\Plugin" />
+    </plugins>
+</psalm>
diff --git a/src/Parser/AttributeParser.php b/src/Parser/AttributeParser.php
new file mode 100644
index 0000000..7b49a23
--- /dev/null
+++ b/src/Parser/AttributeParser.php
@@ -0,0 +1,45 @@
+<?php
+
+declare(strict_types=1);
+
+namespace PhpStaticAnalysis\PHPStanExtension\Parser;
+
+use PhpParser\Node\Stmt;
+use PhpParser\NodeTraverser;
+use PHPStan\Parser\Parser;
+use PhpStaticAnalysis\Attributes\Param;
+use PhpStaticAnalysis\Attributes\Returns;
+use PhpStaticAnalysis\NodeVisitor\AttributeNodeVisitor;
+
+class AttributeParser implements Parser
+{
+    public function __construct(
+        private Parser $parser
+    ) {
+    }
+
+    public function parseFile(string $file): array
+    {
+        $ast = $this->parser->parseFile($file);
+        return $this->traverseAst($ast);
+    }
+
+    public function parseString(string $sourceCode): array
+    {
+        $ast = $this->parser->parseString($sourceCode);
+        return $this->traverseAst($ast);
+    }
+
+    #[Param(ast: 'Stmt[]')]
+    #[Returns('Stmt[]')]
+    private function traverseAst(array $ast): array
+    {
+        $traverser = new NodeTraverser();
+        $nodeVisitor = new AttributeNodeVisitor();
+        $traverser->addVisitor($nodeVisitor);
+
+        $ast = $traverser->traverse($ast);
+        /** @var Stmt[] $ast */
+        return $ast;
+    }
+}
diff --git a/tests/BaseAttributeTestCase.php b/tests/BaseAttributeTestCase.php
new file mode 100644
index 0000000..c13deca
--- /dev/null
+++ b/tests/BaseAttributeTestCase.php
@@ -0,0 +1,52 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension;
+
+use PHPStan\Analyser\Analyser;
+use PHPStan\Analyser\Error;
+use PHPStan\File\FileHelper;
+use PHPStan\Testing\PHPStanTestCase;
+use PhpStaticAnalysis\Attributes\Param;
+use PhpStaticAnalysis\Attributes\Returns;
+
+class BaseAttributeTestCase extends PHPStanTestCase
+{
+    #[Returns('Error[]')]
+    protected function analyse(string $file): array
+    {
+        $file = $this->getFileHelper()->normalizePath($file);
+        $analyser = self::getContainer()->getByType(Analyser::class);
+        $fileHelper = self::getContainer()->getByType(FileHelper::class);
+        $errors = $analyser->analyse([$file], null, null, true)->getErrors();
+        foreach ($errors as $error) {
+            $this->assertSame($fileHelper->normalizePath($file), $error->getFilePath());
+        }
+
+        return $errors;
+    }
+
+    #[Param(
+        errors: 'Error[]',
+        expectedErrors: 'array<string,int>',
+    )]
+    protected function checkExpectedErrors(
+        array $errors,
+        array $expectedErrors
+    ): void {
+        $this->assertCount(count($expectedErrors), $errors);
+
+        $errorNum = 0;
+        foreach ($expectedErrors as $error => $line) {
+            $this->assertSame($error, $errors[$errorNum]->getMessage());
+            $this->assertSame($line, $errors[$errorNum]->getLine());
+            $errorNum++;
+        }
+    }
+
+    public static function getAdditionalConfigFiles(): array
+    {
+        return [
+            __DIR__ . '/../extension.neon',
+        ];
+    }
+}
diff --git a/tests/IsReadOnlyAttributeTest.php b/tests/IsReadOnlyAttributeTest.php
new file mode 100644
index 0000000..c0c6717
--- /dev/null
+++ b/tests/IsReadOnlyAttributeTest.php
@@ -0,0 +1,39 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension;
+
+class IsReadOnlyAttributeTest extends BaseAttributeTestCase
+{
+    public function testPropertyTypeAttribute(): void
+    {
+        $errors = $this->analyse(__DIR__ . '/data/PropertyIsReadOnlyAttribute.php');
+        $expectedErrors = [
+            '@readonly property test\PhpStaticAnalysis\PHPStanExtension\data\PropertyIsReadOnlyAttribute::$name is assigned outside of its declaring class.' => 19,
+        ];
+
+        $this->checkExpectedErrors($errors, $expectedErrors);
+    }
+
+    public function testInvalidPropertyIsReadOnlyAttribute(): void
+    {
+        $errors = $this->analyse(__DIR__ . '/data/InvalidPropertyIsReadOnlyAttribute.php');
+
+        $expectedErrors = [
+            'Attribute class PhpStaticAnalysis\Attributes\IsReadOnly constructor invoked with 1 parameter, 0 required.' => 9,
+            'Attribute class PhpStaticAnalysis\Attributes\IsReadOnly is not repeatable but is already present above the property.' => 13,
+            'Attribute class PhpStaticAnalysis\Attributes\IsReadOnly does not have the method target.' => 16,
+        ];
+
+        $this->checkExpectedErrors($errors, $expectedErrors);
+    }
+
+    public static function getAdditionalConfigFiles(): array
+    {
+        return array_merge(
+            parent::getAdditionalConfigFiles(),
+            [
+                __DIR__ . '/conf/readonly.neon',
+            ]
+        );
+    }
+}
diff --git a/tests/ParamAttributeTest.php b/tests/ParamAttributeTest.php
new file mode 100644
index 0000000..9b5792f
--- /dev/null
+++ b/tests/ParamAttributeTest.php
@@ -0,0 +1,33 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension;
+
+class ParamAttributeTest extends BaseAttributeTestCase
+{
+    public function testMethodParamAttribute(): void
+    {
+        $errors = $this->analyse(__DIR__ . '/data/MethodParamAttribute.php');
+        $this->assertCount(0, $errors);
+    }
+
+    public function testFunctionParamAttribute(): void
+    {
+        $errors = $this->analyse(__DIR__ . '/data/FunctionParamAttribute.php');
+        $this->assertCount(0, $errors);
+    }
+
+    public function testInvalidMethodReturnsAttribute(): void
+    {
+        $errors = $this->analyse(__DIR__ . '/data/InvalidMethodParamAttribute.php');
+
+        $expectedErrors = [
+            'PHPDoc tag @param has invalid value (): Unexpected token "\n ", expected type at offset 13' => 9,
+            'Parameter #1 ...$params of attribute class PhpStaticAnalysis\Attributes\Param constructor expects string, int given.' => 9,
+            'PHPDoc tag @param has invalid value (string): Unexpected token "\n ", expected variable at offset 20' => 15,
+            'PHPDoc tag @param has invalid value (count($a) $name): Unexpected token "(", expected variable at offset 19' => 21,
+            'Attribute class PhpStaticAnalysis\Attributes\Param does not have the property target.' => 27,
+        ];
+
+        $this->checkExpectedErrors($errors, $expectedErrors);
+    }
+}
diff --git a/tests/ReturnsAttributeTest.php b/tests/ReturnsAttributeTest.php
new file mode 100644
index 0000000..1d0eab9
--- /dev/null
+++ b/tests/ReturnsAttributeTest.php
@@ -0,0 +1,34 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension;
+
+class ReturnsAttributeTest extends BaseAttributeTestCase
+{
+    public function testMethodReturnsAttribute(): void
+    {
+        $errors = $this->analyse(__DIR__ . '/data/MethodReturnsAttribute.php');
+        $this->assertCount(0, $errors);
+    }
+
+    public function testFunctionReturnsAttribute(): void
+    {
+        $errors = $this->analyse(__DIR__ . '/data/FunctionReturnsAttribute.php');
+        $this->assertCount(0, $errors);
+    }
+
+    public function testInvalidMethodReturnsAttribute(): void
+    {
+        $errors = $this->analyse(__DIR__ . '/data/InvalidMethodReturnsAttribute.php');
+
+        $expectedErrors = [
+            'PHPDoc tag @return has invalid value (): Unexpected token "\n ", expected type at offset 14' => 9,
+            'Parameter #1 $type of attribute class PhpStaticAnalysis\Attributes\Returns constructor expects string, int given.' => 9,
+            'Attribute class PhpStaticAnalysis\Attributes\Returns is not repeatable but is already present above the method.' => 16,
+            'Attribute class PhpStaticAnalysis\Attributes\Returns constructor invoked with 2 parameters, 1 required.' => 22,
+            'PHPDoc tag @return has invalid value ($a + $b): Unexpected token "$a", expected type at offset 15' => 28,
+            'Attribute class PhpStaticAnalysis\Attributes\Returns does not have the property target.' => 34,
+        ];
+
+        $this->checkExpectedErrors($errors, $expectedErrors);
+    }
+}
diff --git a/tests/TemplateAttributeTest.php b/tests/TemplateAttributeTest.php
new file mode 100644
index 0000000..c6885c5
--- /dev/null
+++ b/tests/TemplateAttributeTest.php
@@ -0,0 +1,51 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension;
+
+class TemplateAttributeTest extends BaseAttributeTestCase
+{
+    public function testClassTemplateAttribute(): void
+    {
+        $errors = $this->analyse(__DIR__ . '/data/ClassTemplateAttribute.php');
+        $this->assertCount(0, $errors);
+    }
+
+    public function testTraitTemplateAttribute(): void
+    {
+        $errors = $this->analyse(__DIR__ . '/data/TraitTemplateAttribute.php');
+        $this->assertCount(0, $errors);
+    }
+
+    public function testInterfaceTemplateAttribute(): void
+    {
+        $errors = $this->analyse(__DIR__ . '/data/InterfaceTemplateAttribute.php');
+        $this->assertCount(0, $errors);
+    }
+
+    public function testMethodTemplateAttribute(): void
+    {
+        $errors = $this->analyse(__DIR__ . '/data/MethodTemplateAttribute.php');
+        $this->assertCount(0, $errors);
+    }
+
+    public function testFunctionTemplateAttribute(): void
+    {
+        $errors = $this->analyse(__DIR__ . '/data/FunctionTemplateAttribute.php');
+        $this->assertCount(0, $errors);
+    }
+
+    public function testInvalidMethodTemplateAttribute(): void
+    {
+        $errors = $this->analyse(__DIR__ . '/data/InvalidMethodTemplateAttribute.php');
+
+        $expectedErrors = [
+            'PHPDoc tag @template has invalid value (): Unexpected token "\n ", expected type at offset 16' => 11,
+            'Parameter #1 $name of attribute class PhpStaticAnalysis\Attributes\Template constructor expects string, int given.' => 11,
+            'PHPDoc tag @template has invalid value (+5): Unexpected token "+5", expected type at offset 17' => 17,
+            'Attribute class PhpStaticAnalysis\Attributes\Template does not have the property target.' => 23,
+            'Parameter #2 $of of attribute class PhpStaticAnalysis\Attributes\Template constructor expects string|null, int given.' => 26
+        ];
+
+        $this->checkExpectedErrors($errors, $expectedErrors);
+    }
+}
diff --git a/tests/TypeAttributeTest.php b/tests/TypeAttributeTest.php
new file mode 100644
index 0000000..2cdff7e
--- /dev/null
+++ b/tests/TypeAttributeTest.php
@@ -0,0 +1,28 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension;
+
+class TypeAttributeTest extends BaseAttributeTestCase
+{
+    public function testPropertyTypeAttribute(): void
+    {
+        $errors = $this->analyse(__DIR__ . '/data/PropertyTypeAttribute.php');
+        $this->assertCount(0, $errors);
+    }
+
+    public function testInvalidPropertyTypeAttribute(): void
+    {
+        $errors = $this->analyse(__DIR__ . '/data/InvalidPropertyTypeAttribute.php');
+
+        $expectedErrors = [
+            'PHPDoc tag @var has invalid value (): Unexpected token "\n ", expected type at offset 11' => 9,
+            'Parameter #1 $type of attribute class PhpStaticAnalysis\Attributes\Type constructor expects string, int given.' => 9,
+            'Attribute class PhpStaticAnalysis\Attributes\Type is not repeatable but is already present above the property.' => 13,
+            'Attribute class PhpStaticAnalysis\Attributes\Type constructor invoked with 2 parameters, 1 required.' => 16,
+            'PHPDoc tag @var has invalid value ($a + $b): Unexpected token "$a", expected type at offset 12' => 19,
+            'Attribute class PhpStaticAnalysis\Attributes\Type does not have the method target.' => 22,
+        ];
+
+        $this->checkExpectedErrors($errors, $expectedErrors);
+    }
+}
diff --git a/tests/conf/readonly.neon b/tests/conf/readonly.neon
new file mode 100644
index 0000000..8f76a1a
--- /dev/null
+++ b/tests/conf/readonly.neon
@@ -0,0 +1,3 @@
+parameters:
+    featureToggles:
+        readOnlyByPhpDoc: true
diff --git a/tests/data/ClassTemplateAttribute.php b/tests/data/ClassTemplateAttribute.php
new file mode 100644
index 0000000..94f40ad
--- /dev/null
+++ b/tests/data/ClassTemplateAttribute.php
@@ -0,0 +1,18 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension\data;
+
+use PhpStaticAnalysis\Attributes\Param;
+use PhpStaticAnalysis\Attributes\Returns;
+use PhpStaticAnalysis\Attributes\Template;
+
+#[Template('T')]
+class ClassTemplateAttribute
+{
+    #[Param(param: 'T')]
+    #[Returns('T')]
+    public function returnTemplate($param)
+    {
+        return $param;
+    }
+}
diff --git a/tests/data/FunctionParamAttribute.php b/tests/data/FunctionParamAttribute.php
new file mode 100644
index 0000000..5262719
--- /dev/null
+++ b/tests/data/FunctionParamAttribute.php
@@ -0,0 +1,11 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension\data;
+
+use PhpStaticAnalysis\Attributes\Param;
+
+#[Param(names: 'string[]')]
+function countNames(array $names): int
+{
+    return count($names);
+}
diff --git a/tests/data/FunctionReturnsAttribute.php b/tests/data/FunctionReturnsAttribute.php
new file mode 100644
index 0000000..efab30d
--- /dev/null
+++ b/tests/data/FunctionReturnsAttribute.php
@@ -0,0 +1,11 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension\data;
+
+use PhpStaticAnalysis\Attributes\Returns;
+
+#[Returns('string[]')]
+function getNames(): array
+{
+    return ['hello', 'world'];
+}
diff --git a/tests/data/FunctionTemplateAttribute.php b/tests/data/FunctionTemplateAttribute.php
new file mode 100644
index 0000000..dac6638
--- /dev/null
+++ b/tests/data/FunctionTemplateAttribute.php
@@ -0,0 +1,15 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension\data;
+
+use PhpStaticAnalysis\Attributes\Param;
+use PhpStaticAnalysis\Attributes\Returns;
+use PhpStaticAnalysis\Attributes\Template;
+
+#[Template('T')]
+#[Param(param: 'T')]
+#[Returns('T')]
+function returnTemplate($param)
+{
+    return $param;
+}
diff --git a/tests/data/InterfaceTemplateAttribute.php b/tests/data/InterfaceTemplateAttribute.php
new file mode 100644
index 0000000..d9ce788
--- /dev/null
+++ b/tests/data/InterfaceTemplateAttribute.php
@@ -0,0 +1,15 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension\data;
+
+use PhpStaticAnalysis\Attributes\Param;
+use PhpStaticAnalysis\Attributes\Returns;
+use PhpStaticAnalysis\Attributes\Template;
+
+#[Template('T')]
+interface InterfaceTemplateAttribute
+{
+    #[Param(param: 'T')]
+    #[Returns('T')]
+    public function returnTemplate($param);
+}
diff --git a/tests/data/InvalidMethodParamAttribute.php b/tests/data/InvalidMethodParamAttribute.php
new file mode 100644
index 0000000..84ea1d3
--- /dev/null
+++ b/tests/data/InvalidMethodParamAttribute.php
@@ -0,0 +1,29 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension\data;
+
+use PhpStaticAnalysis\Attributes\Param;
+
+class InvalidMethodParamAttribute
+{
+    #[Param(0)]
+    public function getNameLength(string $name): int
+    {
+        return strlen($name);
+    }
+
+    #[Param('string')]
+    public function getOtherNameLength(string $name): int
+    {
+        return strlen($name);
+    }
+
+    #[Param(name: 'count($a)')]
+    public function getAnotherNameLength(string $name): int
+    {
+        return strlen($name);
+    }
+
+    #[Param(property: 'string')]
+    public string $property;
+}
diff --git a/tests/data/InvalidMethodReturnsAttribute.php b/tests/data/InvalidMethodReturnsAttribute.php
new file mode 100644
index 0000000..ac3a61a
--- /dev/null
+++ b/tests/data/InvalidMethodReturnsAttribute.php
@@ -0,0 +1,36 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension\data;
+
+use PhpStaticAnalysis\Attributes\Returns;
+
+class InvalidMethodReturnsAttribute
+{
+    #[Returns(0)]
+    public function getName(): string
+    {
+        return 'hello';
+    }
+
+    #[Returns('string')]
+    #[Returns('string')]
+    public function getOtherName(): string
+    {
+        return 'hello';
+    }
+
+    #[Returns('string', 'string')]
+    public function getEvenMoreNames(): string
+    {
+        return 'hello';
+    }
+
+    #[Returns('$a + $b')]
+    public function getMoreAndMoreNames(): string
+    {
+        return 'hello';
+    }
+
+    #[Returns('string')]
+    public string $property;
+}
diff --git a/tests/data/InvalidMethodTemplateAttribute.php b/tests/data/InvalidMethodTemplateAttribute.php
new file mode 100644
index 0000000..dc19e2a
--- /dev/null
+++ b/tests/data/InvalidMethodTemplateAttribute.php
@@ -0,0 +1,33 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension\data;
+
+use PhpStaticAnalysis\Attributes\Param;
+use PhpStaticAnalysis\Attributes\Returns;
+use PhpStaticAnalysis\Attributes\Template;
+
+class InvalidMethodTemplateAttribute
+{
+    #[Template(0)]
+    public function getName(): string
+    {
+        return 'Mike';
+    }
+
+    #[Template('+5')]
+    public function getAnotherName(): string
+    {
+        return 'John';
+    }
+
+    #[Template('T')]
+    public string $property;
+
+    #[Template('T', 0)]
+    #[Param(param: 'T')]
+    #[Returns('T')]
+    public function getMoreName($param)
+    {
+        return $param;
+    }
+}
diff --git a/tests/data/InvalidPropertyIsReadOnlyAttribute.php b/tests/data/InvalidPropertyIsReadOnlyAttribute.php
new file mode 100644
index 0000000..f291089
--- /dev/null
+++ b/tests/data/InvalidPropertyIsReadOnlyAttribute.php
@@ -0,0 +1,27 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension\data;
+
+use PhpStaticAnalysis\Attributes\IsReadOnly;
+
+class InvalidPropertyIsReadOnlyAttribute
+{
+    #[IsReadOnly(0)]
+    public string $invalidProperty;
+
+    #[IsReadOnly]
+    #[IsReadOnly]
+    public string $otherInvalidProperty;
+
+    #[IsReadOnly]
+    public function getString(): string
+    {
+        return 'hello';
+    }
+
+    public function __construct()
+    {
+        $this->invalidProperty = 'Mike';
+        $this->otherInvalidProperty = 'John';
+    }
+}
diff --git a/tests/data/InvalidPropertyTypeAttribute.php b/tests/data/InvalidPropertyTypeAttribute.php
new file mode 100644
index 0000000..8501bde
--- /dev/null
+++ b/tests/data/InvalidPropertyTypeAttribute.php
@@ -0,0 +1,27 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension\data;
+
+use PhpStaticAnalysis\Attributes\Type;
+
+class InvalidPropertyTypeAttribute
+{
+    #[Type(0)]
+    public string $invalidProperty;
+
+    #[Type('string')]
+    #[Type('string')]
+    public string $otherInvalidProperty;
+
+    #[Type('string', 'string')]
+    public string $anotherInvalidProperty;
+
+    #[Type('$a + $b')]
+    public string $andAnotherinvalidProperty;
+
+    #[Type('string')]
+    public function getString(): string
+    {
+        return 'hello';
+    }
+}
diff --git a/tests/data/MethodParamAttribute.php b/tests/data/MethodParamAttribute.php
new file mode 100644
index 0000000..a5922db
--- /dev/null
+++ b/tests/data/MethodParamAttribute.php
@@ -0,0 +1,68 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension\data;
+
+use PhpStaticAnalysis\Attributes\Param;
+
+class MethodParamAttribute
+{
+    #[Param(names: 'string[]')]
+    public function countNames(array $names): int
+    {
+        return count($names);
+    }
+
+    #[Param('string[] $names')]
+    public function countUnnamedNames(array $names): int
+    {
+        return count($names);
+    }
+
+    /**
+     * @deprecated
+     */
+    #[Param(names: 'string[]')]
+    public function countMoreNames(array $names): int
+    {
+        return count($names);
+    }
+
+    /**
+     * @param int $names
+     */
+    #[Param(names: 'string[]')]
+    public function countEvenMoreNames(array $names): int
+    {
+        return count($names);
+    }
+
+    #[Param(
+        names1: 'string[]',
+        names2: 'string[]'
+    )]
+    public function countTwoNames(array $names1, array $names2): int
+    {
+        return count($names1 + $names2);
+    }
+
+    #[Param(names1: 'string[]')]
+    #[Param(names2: 'string[]')]
+    public function countTwoMoreNames(array $names1, array $names2): int
+    {
+        return count($names1 + $names2);
+    }
+
+    #[Param(names: 'string ...')]
+    public function countVariadicNames(...$names): int
+    {
+        return count($names);
+    }
+
+    /**
+     * @param string[] $names
+     */
+    public function countNamesAndNames(array $names): int
+    {
+        return count($names);
+    }
+}
diff --git a/tests/data/MethodReturnsAttribute.php b/tests/data/MethodReturnsAttribute.php
new file mode 100644
index 0000000..b4467b8
--- /dev/null
+++ b/tests/data/MethodReturnsAttribute.php
@@ -0,0 +1,40 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension\data;
+
+use PhpStaticAnalysis\Attributes\Returns;
+
+class MethodReturnsAttribute
+{
+    #[Returns('string[]')]
+    public function getNames(): array
+    {
+        return ['hello', 'world'];
+    }
+
+    /**
+     * @deprecated
+     */
+    #[Returns('string[]')]
+    public function getMoreNames(): array
+    {
+        return ['hello', 'world'];
+    }
+
+    /**
+     * @return int
+     */
+    #[Returns('string[]')]
+    public function getEvenMoreNames(): array
+    {
+        return ['hello', 'world'];
+    }
+
+    /**
+     * @return string[]
+     */
+    public function getNamesAndNames(): array
+    {
+        return ['hello', 'world'];
+    }
+}
diff --git a/tests/data/MethodTemplateAttribute.php b/tests/data/MethodTemplateAttribute.php
new file mode 100644
index 0000000..638cbdc
--- /dev/null
+++ b/tests/data/MethodTemplateAttribute.php
@@ -0,0 +1,69 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension\data;
+
+use Exception;
+use PhpStaticAnalysis\Attributes\Param;
+use PhpStaticAnalysis\Attributes\Returns;
+use PhpStaticAnalysis\Attributes\Template;
+
+class MethodTemplateAttribute
+{
+    #[Template('T')]
+    #[Param(param: 'T')]
+    #[Returns('T')]
+    public function returnTemplate($param)
+    {
+        return $param;
+    }
+
+    #[Template('T', Exception::class)]
+    #[Param(param: 'T')]
+    #[Returns('T')]
+    public function returnTemplateOfException($param)
+    {
+        return $param;
+    }
+
+    /**
+     * @deprecated
+     */
+    #[Template('T')]
+    #[Param(param: 'T')]
+    #[Returns('T')]
+    public function returnAnotherTemplate($param)
+    {
+        return $param;
+    }
+
+    /**
+     * @template T1
+     * @param T1 $param1
+     */
+    #[Template('T2')]
+    #[Param(param2: 'T2')]
+    #[Returns('T1')]
+    public function returnOneOfTheTemplates($param1, $param2)
+    {
+        return $param1;
+    }
+
+    #[Template('T1')]
+    #[Template('T2')]
+    #[Param(param1: 'T1', param2: 'T2')]
+    #[Returns('T1')]
+    public function moreReturnOneOfTheTemplates($param1, $param2)
+    {
+        return $param1;
+    }
+
+    /**
+     * @template T
+     * @param T $param
+     * @return T
+     */
+    public function returnMoreTemplates($param)
+    {
+        return $param;
+    }
+}
diff --git a/tests/data/PropertyIsReadOnlyAttribute.php b/tests/data/PropertyIsReadOnlyAttribute.php
new file mode 100644
index 0000000..ca8c9fa
--- /dev/null
+++ b/tests/data/PropertyIsReadOnlyAttribute.php
@@ -0,0 +1,19 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension\data;
+
+use PhpStaticAnalysis\Attributes\IsReadOnly;
+
+class PropertyIsReadOnlyAttribute
+{
+    #[IsReadOnly]
+    public string $name;
+
+    public function __construct()
+    {
+        $this->name = 'Mike';
+    }
+}
+
+$p = new PropertyIsReadOnlyAttribute();
+$p->name = 'John';
diff --git a/tests/data/PropertyTypeAttribute.php b/tests/data/PropertyTypeAttribute.php
new file mode 100644
index 0000000..e7d2e74
--- /dev/null
+++ b/tests/data/PropertyTypeAttribute.php
@@ -0,0 +1,19 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension\data;
+
+use PhpStaticAnalysis\Attributes\Type;
+
+class PropertyTypeAttribute
+{
+    #[Type('string')]
+    public const ATTRIBUTE_NAME = 'Type';
+
+    #[Type('int[]')]
+    public array $nums;
+
+    /**
+     * @var string
+     */
+    public string $string;
+}
diff --git a/tests/data/TraitTemplateAttribute.php b/tests/data/TraitTemplateAttribute.php
new file mode 100644
index 0000000..123a70e
--- /dev/null
+++ b/tests/data/TraitTemplateAttribute.php
@@ -0,0 +1,18 @@
+<?php
+
+namespace test\PhpStaticAnalysis\PHPStanExtension\data;
+
+use PhpStaticAnalysis\Attributes\Param;
+use PhpStaticAnalysis\Attributes\Returns;
+use PhpStaticAnalysis\Attributes\Template;
+
+#[Template('T')]
+trait TraitTemplateAttribute
+{
+    #[Param(param: 'T')]
+    #[Returns('T')]
+    public function returnTemplate($param)
+    {
+        return $param;
+    }
+}