rskuipers / php-assumptions
Static code analysis tool to detect weak assumptions
Installs: 251 141
Dependents: 19
Suggesters: 1
Security: 0
Stars: 158
Watchers: 4
Forks: 10
Open Issues: 9
Requires
- league/climate: ^3.1
- nikic/php-parser: ^2.0|^3.0|^4.0
Requires (Dev)
- phpspec/prophecy: ~1.0
- phpunit/phpunit: ^5.6
This package is auto-updated.
Last update: 2024-11-16 01:16:10 UTC
README
Setup
$ composer require --dev rskuipers/php-assumptions
Introduction
PHP Assumptions is the result of a proof of concept inspired by the "From assumptions to assertions" blog post. It's a static code analysis tool doing checks for weak assumptions.
This is an example of an assumption:
if ($user !== null) { $user->logout(); }
Running bin/phpa
on this file would yield the following output:
----------------------------------------------
| file | line | message |
==============================================
| example.php | 3 | if ($user !== null) { |
----------------------------------------------
1 out of 1 boolean expressions are assumptions (100%)
This is an example of an assertion:
if ($user instanceof User) { $user->logout(); }
Tests
This project is built with PHPUnit and Prophecy. In order to run these tests make sure you have dev dependencies installed with composer.
Running PHPUnit:
$ ./vendor/bin/phpunit