kalessil / phpinspectionsea

A Static Code Analyzer for PHP (a PhpStorm/Idea Plugin)

Php Inspections (EA Extended)

This project is an OSS Static Code Analysis tool for PhpStorm (2016.2+) and Idea Ultimate.

It covers:

• architecture related issues
• weak types control and possible code construct simplifications
• performance issues
• non-optimal, duplicate and suspicious "if" conditions
• validation of magic methods usage
• regular expressions
• validation of exception handling workflow
• compatibility issues
• variety of time-consuming bugs
• PHPUnit API usage
• security issues

Some of inspections are expecting conditional statements (e.g. "if") to use group statement for wrapping body expressions. If this requirement is met then additional inspections are applied to the source code.

On some projects CPU and therefore battery usage could be intensive, so it should be taken into account when traveling.

Installation and getting started

Please follow this documentation link.

Enhancing the experience

Once you have accommodated with the analyzer and want move to further, check Php Inspections (EA Ultimate) out.

Supporting the project

It is possible to support the project by buying a Php Inspections (EA Ultimate) license. The raised funding used for maintaining analyzer and introducing new features.

Acknowledgments

Shopware is the biggest supporter of our 2017 crowdfunding campaign.

Pixel & Tonic are supporting us since 2017.

Cellsynt is a supporter of our 2017 crowdfunding campaign.

Roave LLC is a supporter of our 2017 crowdfunding campaign.

Syrcon GmbH is a supporter of our 2017 crowdfunding campaign.

YourKit supports us with their full-featured Java Profiler.

JetBrains supports us with their awesome IDEs.

phpinspectionsea's Issues

[false-positive] disconected foreach statement with self-assignment

Original link: https://bitbucket.org/kalessil/phpinspectionsea/issues/237/disconnectedforeachinstructioninspection
Author @nazar-pc

$files = [];
$hash  = 'x';
foreach ($files as &$file) {
	$file .= "?$hash";
}

Variations like $file .= "?x" and $file = "$file?$hash" are handled correctly

[fixed, bug] Wrong quick fix for PHP4 style type casting

I have some code similar to the following:
$value = intval($number + ($continue ? ($number < 0 ? 1 : -1) : 1));

When I use the quick-fix provided, it corrects it to:
$value = (int)($number < 0 ? 1 : -1);

Which is incorrect, as it's ignoring the $number + ($continue ...) part.

Add Unit Tests

[fixed, new] follow "Yoda Conditions"

Original link: https://bitbucket.org/kalessil/phpinspectionsea/issues/255/new-inspection-follow-yoda-conditions-rule
Author Eduard Ruffert

I like to follow "yoda conditions", meaning that constants in a condition are on the left. E.g. if( MY_CONSTANT === $this->getSomeData() )

+see original link comments

[false-positive] 'type unsafe comparison' on DateTime objects

$date1 = '2016-11-02';
$date2 = '2016-11-02';
(new DateTime($date1)) == (new DateTime($date2))

You can't check DateTime equality, but php allows them to compare using ==, > and <.

[false-positive] disconnected foreach statements with list(...) as value

I have caught such behaviour at this snippet:

        $arr = [[1,2,3]];
        $compare = 4;
        foreach ($arr as list($a, $b, $c)) {

            if ($b !== $compare) {
                continue;
            }
        }

PHPStorm says that if statement seems to be disconnected from parent foreach. When i use $a variable to compare there is no such warning.

One time use variables: a new case with list function

<?php

/**
 * @return int
 */
function test()
{
    $list = array(1, 2);

    list($a, $b) = $list;

    return $a + $b;
}

[new] FQCN to ::class

Hello,

Thanks for your great plugin!
I've got a suggestion for a new inspection:

In frameworks like Zend Framework 2, there are a lot of configuration files looking like this:

namespace Application; 

return [
    'service_manager' => [
        'factories' => [
           'Application\EventListener\SomeListener' => 'Application\EventListener\Factory\SomeListener',
        ],
    ]
];

It would be great if there is an inspection that detects this FQCN and converts it to something like this:

namespace Application; 

return [
    'service_manager' => [
        'factories' => [
           EventListener\SomeListener::class => EventListener\Factory\SomeListener::class,
        ],
    ]
];

Another option would be to import all the use statements like this:

namespace Application; 

use Application\EventListener\SomeListener;
use Application\EventListener\Factory\SomeListenerFactory;

return [
    'service_manager' => [
        'factories' => [
           SomeListener::class => SomeListenerFactory::class,
        ],
    ]
];

With this code there is the problem that both classes can't have the same classname even though they are in another namespace.
This inspection could also apply to the default phpspec specification classes that are being generated.

For older projects, it should be possible to run this inspection by name on the full codebase.

[false-positives] foreach usage possible: index used on multiple arrays

PhpUnit: add option for BC, so all assert* reported again

MigLayout dependency: migrate to standard swing components

import net.miginfocom.swing.MigLayout;
Is this dependency necessary to this inspection?

[new, security] security issues for mcrypt

https://paragonie.com/blog/2015/05/if-you-re-typing-word-mcrypt-into-your-code-you-re-doing-it-wrong

• mcrypt_encrypt() - block zero-padded, if mcrypt_get_block_size() not in the scope and below PHP 5.6
• mcrypt_encrypt() - require 5th parameter when 4th is MCRYPT_MODE_(CBC|CFB|OFB)
• 3 more items has been released in v2.2.0

[false-positive] "silenced" forgotten debug statements should be handled correctly

[bug] foreach source/offset validity - ignore boolean in resolved types

There's a false positive in a following case:
We have a function that with this signature:

/**
 * executes a query in the system database
 *
 * @param string $query The SQL query to executes
 * @param string $comment An optional comment explaining the query
 *
 * @return array|bool The result set on success, or false on error
 */
public static function runSingleQuery($query, $comment = '') {...}

Notice the array|bool return value.

Then when we execute the function:

    $result = SystemDatabaseManager::runSingleQuery(...);

    if ($result === false) {
        ...
        return $accountProfiles;
    } else {
        foreach ($result as $record) {
         ... 
         }
    }

In this case the inspection fires "Can't iterate bool (recheck type hints)" even though bool is not the only possible returned value type.

Exception after update to 2.0.0

Short name not matched for class com.kalessil.phpStorm.phpInspectionsEA.inspectors.semanticalAnalysis.UnusedConstructorDependenciesInspector: getShortName() = UnusedConstructorDependenciesInspection; ep.shortName = UnnecessaryPropertyDependenciesInspection
java.lang.Throwable
    at com.intellij.openapi.diagnostic.Logger.error(Logger.java:132)
    at com.intellij.codeInspection.ex.InspectionToolWrapper.getTool(InspectionToolWrapper.java:85)
    at com.intellij.codeInsight.daemon.impl.LocalInspectionsPass.getInspectionTools(LocalInspectionsPass.java:652)
    at com.intellij.codeInsight.daemon.impl.LocalInspectionsPassFactory$MyLocalInspectionsPass.getInspectionTools(LocalInspectionsPassFactory.java:94)
    at com.intellij.codeInsight.daemon.impl.LocalInspectionsPass.collectInformationWithProgress(LocalInspectionsPass.java:133)
    at com.intellij.codeInsight.daemon.impl.ProgressableTextEditorHighlightingPass.doCollectInformation(ProgressableTextEditorHighlightingPass.java:82)
    at com.intellij.codeHighlighting.TextEditorHighlightingPass.collectInformation(TextEditorHighlightingPass.java:70)
    at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.a(PassExecutorService.java:433)
    at com.intellij.openapi.application.impl.ApplicationImpl.tryRunReadAction(ApplicationImpl.java:1054)
    at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.c(PassExecutorService.java:426)
    at com.intellij.openapi.progress.impl.CoreProgressManager.a(CoreProgressManager.java:568)
    at com.intellij.openapi.progress.impl.CoreProgressManager.executeProcessUnderProgress(CoreProgressManager.java:519)
    at com.intellij.openapi.progress.impl.ProgressManagerImpl.executeProcessUnderProgress(ProgressManagerImpl.java:54)
    at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.b(PassExecutorService.java:425)
    at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.run(PassExecutorService.java:405)
    at com.intellij.concurrency.JobLauncherImpl$VoidForkJoinTask$1.exec(JobLauncherImpl.java:155)
    at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
    at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
    at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
    at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)


java.lang.Throwable
    at com.intellij.openapi.diagnostic.Logger.error(Logger.java:132)
    at com.intellij.codeInspection.ex.InspectionToolWrapper.getTool(InspectionToolWrapper.java:85)
    at com.intellij.codeInsight.daemon.impl.LocalInspectionsPass.getInspectionTools(LocalInspectionsPass.java:652)
    at com.intellij.codeInsight.daemon.impl.LocalInspectionsPassFactory$MyLocalInspectionsPass.getInspectionTools(LocalInspectionsPassFactory.java:94)
    at com.intellij.codeInsight.daemon.impl.LocalInspectionsPass.collectInformationWithProgress(LocalInspectionsPass.java:133)
    at com.intellij.codeInsight.daemon.impl.ProgressableTextEditorHighlightingPass.doCollectInformation(ProgressableTextEditorHighlightingPass.java:82)
    at com.intellij.codeHighlighting.TextEditorHighlightingPass.collectInformation(TextEditorHighlightingPass.java:70)
    at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.a(PassExecutorService.java:433)
    at com.intellij.openapi.application.impl.ApplicationImpl.tryRunReadAction(ApplicationImpl.java:1054)
    at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.c(PassExecutorService.java:426)
    at com.intellij.openapi.progress.impl.CoreProgressManager.a(CoreProgressManager.java:568)
    at com.intellij.openapi.progress.impl.CoreProgressManager.executeProcessUnderProgress(CoreProgressManager.java:519)
    at com.intellij.openapi.progress.impl.ProgressManagerImpl.executeProcessUnderProgress(ProgressManagerImpl.java:54)
    at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.b(PassExecutorService.java:425)
    at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.run(PassExecutorService.java:405)
    at com.intellij.concurrency.JobLauncherImpl$VoidForkJoinTask$1.exec(JobLauncherImpl.java:155)
    at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
    at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
    at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
    at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)


java.lang.Throwable
    at com.intellij.openapi.diagnostic.Logger.error(Logger.java:132)
    at com.intellij.codeInspection.ex.InspectionToolWrapper.getTool(InspectionToolWrapper.java:85)
    at com.intellij.codeInsight.daemon.impl.LocalInspectionsPass.getInspectionTools(LocalInspectionsPass.java:652)
    at com.intellij.codeInsight.daemon.impl.LocalInspectionsPassFactory$MyLocalInspectionsPass.getInspectionTools(LocalInspectionsPassFactory.java:94)
    at com.intellij.codeInsight.daemon.impl.LocalInspectionsPass.collectInformationWithProgress(LocalInspectionsPass.java:133)
    at com.intellij.codeInsight.daemon.impl.ProgressableTextEditorHighlightingPass.doCollectInformation(ProgressableTextEditorHighlightingPass.java:82)
    at com.intellij.codeHighlighting.TextEditorHighlightingPass.collectInformation(TextEditorHighlightingPass.java:70)
    at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.a(PassExecutorService.java:433)
    at com.intellij.openapi.application.impl.ApplicationImpl.tryRunReadAction(ApplicationImpl.java:1054)
    at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.c(PassExecutorService.java:426)
    at com.intellij.openapi.progress.impl.CoreProgressManager.a(CoreProgressManager.java:568)
    at com.intellij.openapi.progress.impl.CoreProgressManager.executeProcessUnderProgress(CoreProgressManager.java:519)
    at com.intellij.openapi.progress.impl.ProgressManagerImpl.executeProcessUnderProgress(ProgressManagerImpl.java:54)
    at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.b(PassExecutorService.java:425)
    at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.run(PassExecutorService.java:405)
    at com.intellij.concurrency.JobLauncherImpl$VoidForkJoinTask$1.exec(JobLauncherImpl.java:155)
    at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
    at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
    at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
    at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)


java.lang.Throwable
    at com.intellij.openapi.diagnostic.Logger.error(Logger.java:132)
    at com.intellij.codeInspection.ex.InspectionToolWrapper.getTool(InspectionToolWrapper.java:85)
    at com.intellij.codeInsight.daemon.impl.LocalInspectionsPass.getInspectionTools(LocalInspectionsPass.java:652)
    at com.intellij.codeInsight.daemon.impl.WholeFileLocalInspectionsPassFactory$2.getInspectionTools(WholeFileLocalInspectionsPassFactory.java:106)
    at com.intellij.codeInsight.daemon.impl.LocalInspectionsPass.collectInformationWithProgress(LocalInspectionsPass.java:133)
    at com.intellij.codeInsight.daemon.impl.ProgressableTextEditorHighlightingPass.doCollectInformation(ProgressableTextEditorHighlightingPass.java:82)
    at com.intellij.codeHighlighting.TextEditorHighlightingPass.collectInformation(TextEditorHighlightingPass.java:70)
    at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.a(PassExecutorService.java:433)
    at com.intellij.openapi.application.impl.ApplicationImpl.tryRunReadAction(ApplicationImpl.java:1054)
    at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.c(PassExecutorService.java:426)
    at com.intellij.openapi.progress.impl.CoreProgressManager.a(CoreProgressManager.java:568)
    at com.intellij.openapi.progress.impl.CoreProgressManager.executeProcessUnderProgress(CoreProgressManager.java:519)
    at com.intellij.openapi.progress.impl.ProgressManagerImpl.executeProcessUnderProgress(ProgressManagerImpl.java:54)
    at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.b(PassExecutorService.java:425)
    at com.intellij.codeInsight.daemon.impl.PassExecutorService$ScheduledPass.run(PassExecutorService.java:405)
    at com.intellij.concurrency.JobLauncherImpl$VoidForkJoinTask$1.exec(JobLauncherImpl.java:155)
    at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
    at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
    at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
    at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)

[bug] static methods invocation via this: NPE at QF

null
java.lang.NullPointerException
	at com.kalessil.phpStorm.phpInspectionsEA.inspectors.languageConstructions.DynamicInvocationViaScopeResolutionInspector$TheLocalFix.applyFix(DynamicInvocationViaScopeResolutionInspector.java:121)
	at com.kalessil.phpStorm.phpInspectionsEA.inspectors.languageConstructions.DynamicInvocationViaScopeResolutionInspector$TheLocalFix.applyFix(DynamicInvocationViaScopeResolutionInspector.java:97)
	at com.intellij.codeInspection.ex.QuickFixWrapper.invoke(QuickFixWrapper.java:86)
	at com.intellij.codeInsight.intention.impl.ShowIntentionActionsHandler.a(ShowIntentionActionsHandler.java:186)
	at com.intellij.codeInsight.intention.impl.ShowIntentionActionsHandler$$Lambda$1992/1565044013.run(Unknown Source)
	at com.intellij.codeInsight.intention.impl.ShowIntentionActionsHandler$$Lambda$1993/1584950228.run(Unknown Source)
	at com.intellij.openapi.application.WriteAction.run(WriteAction.java:94)
	at com.intellij.codeInsight.intention.impl.ShowIntentionActionsHandler.a(ShowIntentionActionsHandler.java:189)
	at com.intellij.codeInsight.intention.impl.ShowIntentionActionsHandler$$Lambda$1991/1868841150.run(Unknown Source)
	at com.intellij.openapi.command.impl.CoreCommandProcessor.a(CoreCommandProcessor.java:149)
	at com.intellij.openapi.command.impl.CoreCommandProcessor.executeCommand(CoreCommandProcessor.java:109)
	at com.intellij.openapi.command.impl.CoreCommandProcessor.executeCommand(CoreCommandProcessor.java:99)
	at com.intellij.openapi.command.impl.CoreCommandProcessor.executeCommand(CoreCommandProcessor.java:85)
	at com.intellij.codeInsight.intention.impl.ShowIntentionActionsHandler.chooseActionAndInvoke(ShowIntentionActionsHandler.java:185)
	at com.intellij.codeInsight.intention.impl.IntentionListStep.b(IntentionListStep.java:276)
	at com.intellij.codeInsight.intention.impl.IntentionListStep$$Lambda$1989/1437527521.run(Unknown Source)
	at com.intellij.openapi.application.TransactionGuardImpl.performUserActivity(TransactionGuardImpl.java:204)
	at com.intellij.ui.popup.AbstractPopup.a(AbstractPopup.java:1392)
	at com.intellij.ui.popup.AbstractPopup$$Lambda$1801/56507148.run(Unknown Source)
	at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:311)
	at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:744)
	at java.awt.EventQueue.access$400(EventQueue.java:97)
	at java.awt.EventQueue$3.run(EventQueue.java:697)
	at java.awt.EventQueue$3.run(EventQueue.java:691)
	at java.security.AccessController.doPrivileged(Native Method)
	at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:75)
	at java.awt.EventQueue.dispatchEvent(EventQueue.java:714)
	at com.intellij.ide.IdeEventQueue.b(IdeEventQueue.java:843)
	at com.intellij.ide.IdeEventQueue._dispatchEvent(IdeEventQueue.java:679)
	at com.intellij.ide.IdeEventQueue.dispatchEvent(IdeEventQueue.java:391)
	at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:201)
	at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:116)
	at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:105)
	at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
	at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:93)
	at java.awt.EventDispatchThread.run(EventDispatchThread.java:82)

[new, compatibility] binary-unsafe fopen usage

Original link: https://bitbucket.org/kalessil/phpinspectionsea/issues/240/fr-validate-second-argument-in-fopen-and
Author @dryabov

1. Check that second argument (mode) matches /[rwaxc]b?\+?/ regex.
2. If mode string doesn't include b flag, suggest to use corresponding binary-safe mode ('w+' -> 'wb+', etc.) to make code to be cross-platform.

[new] PHPUnit - Allow assertEquals for object comparison

When writing unit tests we often assert if objects retrieved from different places are the same.
assertSame will only succeed when the two variables reference the same object.

But assertEquals will succeed when the two instances have all the same property values.

When the two variables are both objects, and instances from the same class. It would be useful to allow the assertEquals method.

Note: Also need this functionality for variables marked as class array (Object[]).

Wrap foreach/for/while

There is already a check for wrapping if statements with braces. It would be nice if that could be extended to also make sure foreach, for and while loops are wrapped as well.

[bug] Tests are bundled inside the plugin

Inside a jar file there is a folder: PhpInspectionsEA.jar!/com/kalessil/phpStorm/phpInspectionsEA/tests

It's not required and cause PhpStorm compatibility tool to issue warning:
com.kalessil.phpStorm.phpInspectionsEA:2.0.1 has 1 problem

------- Stderr: -------
#accessing to unknown class junit.framework.TestCase
at com.intellij.testFramework.UsefulTestCase

I would like to help to fix the issue but unfortunately I couldn't find any script or configuration that actually build jar.

Add a quick "Getting Started" for developers

I think it would be very useful for anyone interested in participating in the development of phpinspectionea if there were a small section of the README.md dedicated to setting up Intellij IDEA to create and debug new inspections and intentions.

• Setting up Intellij for development
• Running tests

Disconnected foreach-statements within HTML template

The inspections are reporting HTML in a template foreach to be disconnected.
Here is an example:

<?php foreach($items as $item): ?>
    <div><?= $item ?></div>
<?php endforeach; ?>

In this case, the opening <div> and closing </div> inside the template foreach are reported as disconnected.

[new, configuration] individual settings for not optimal if conditions

[new, pattern] literal and/or usage should be detected case-insensitive

The check that checks for and/or instead of &&/|| only checks for lowercase. The check misses code that uses all uppercase AND/OR.

PHP7, missing return types declaration (optional)

Original link: https://bitbucket.org/kalessil/phpinspectionsea/issues/285/suggestion-weak-warning-php-7-return-type
Author: @mfn

See original ticket

[contrib] Codeception's/Yii's debug statements

Hi,

Awesome plugin, I use it all the time 👍

However, Codeception the debug statements look like \Codeception\Util\Debug::debug() and those should of course not be present when you commit the code. It would be awesome if PHP Inspections EA would warn me about this.

Also, sometimes PHPStorms adds the use statement for Codeception\Util\Debug, so it is possible there is only Debug::debug() present in the code.

[new] exceptions flow - @throws declaration for non-thrown exceptions

It would be useful to show a warning when a function/method has @throws in the docblock, but no actual Exceptions are (possibly) thrown.

This wouldn't be possible when the method is overloaded. Because a parent might want to document that a child can throw an exception.

[fixed, configuration] disconnected foreach instructions - suggest using clone option

Can you add option for the strProblemUseClone?

Objects should be created outside of a loop and cloned instead

Fire example in our project we want to use new operator instead of the clone

Update links, write deprecation notice at BitBucket

1. Links at https://plugins.jetbrains.com/plugin/7622?pr=phpStorm should point to GitHub.
2. https://bitbucket.org/kalessil/phpinspectionsea/src should have a deprecation notice linking to GitHub.

[false-positive] property could be static: overridden properties reported

Original link: https://bitbucket.org/kalessil/phpinspectionsea/issues/306/architecture-property-could-be-static
Author: @rentalhost

See original link

[WIP] API from *Impl classes used

Please get rid of *Impl method calls.

If you MISS something in corresponding interfaces, please contact us, we're actively working on improving our APIs

[false-positive] mkdir race conditions with literal and/or

if (!@mkdir($dir, 0777, true) and !is_dir($dir))
which is the same as
if (!@mkdir($dir, 0777, true) && !is_dir($dir))

but I use the more readable and.

But it blames me for the wrong reasons :-(

[new, probable bugs] detect usage of two or more alphabets in class, NS, etc. names

Hello!

I really enjoyed work with plugin and I advice it for my colleagues, thank a lot!

Recently I accept a mistake. I created a class with name contained Cyrillic and Latin characters.
Can you add functionality with inspection for that case (I suppose for namespaces, classes and method names)?
Or suggest different solution for that case?

Thanks

[followup] disallow writing into static properties (optional)

Original link: https://bitbucket.org/kalessil/phpinspectionsea/issues/299/disallow-writing-to-static-properties
Author @bram123

See original ticket

unchecked nullable parameter usage

Original link: https://bitbucket.org/kalessil/phpinspectionsea/issues/141/optional-parameter-usage

See original link

[feature] PHP 7.1 shorthand list syntax support ("[...] = .." similar to "list (...) = ..")

PS has to support the feature first: https://youtrack.jetbrains.com/issue/WI-32531

not optimal if conditions: a false-positive

Original link: https://bitbucket.org/kalessil/phpinspectionsea/issues/239
Author: @mfurlend

****The inspection is telling me that in this line:

if ($_SERVER [ 'REQUEST_METHOD' ] === 'POST' && array_key_exists('comment',$_POST)) { ...

array_key_exists('comment',$_POST)

is less expensive than

$_SERVER [ 'REQUEST_METHOD' ] === 'POST' 

Which is definitely not true (I benchmarked it to double check).

[new, compatibility] overriding deprecated method

If a child also deprecated, do not invoke inspection

[new] contract interfaces violations

Original link: https://bitbucket.org/kalessil/phpinspectionsea/issues/200/new-inspections-contract-interfaces
Author: @kalessil

See https://youtrack.jetbrains.com/issue/WI-30800

[quick-fix] type casting via PHP4 functions: QF settype

Original link: https://bitbucket.org/kalessil/phpinspectionsea/issues/224/typescastingwithfunctionsinspector-support
Author @kalessil

See original ticket

[fixed, grooming] Introduce language util, migrate codebase

• replacement for using com.jetbrains.php.lang.PhpLangUtil
• replacement for "true", "false", "null" strings usage across codebase

[bug] migrate ".equals("<true|false>") to ".equalsIgnoreCase(...)"

In some of code bases constants are in upper case and the plugin should respect this.

[new] ambiguous getters calls

Original link https://bitbucket.org/kalessil/phpinspectionsea/issues/135
Author @kalessil

Shall report duplicated sfContext::getInstance()->getLogger();

sfContext::getInstance()->getLogger()->info(...);
sfContext::getInstance()->getLogger()->info(...);

Add tests

Hello,

I am unsure what is the current development workflow, but I think it would be highly valuable if there were tests to assess regressions and also to speed up development (my current workflow involves starting up Intellij IDEA which is a terrible waste of time in my opinion).

Based on https://github.com/JetBrains/intellij-sdk-docs/tree/master/code_samples/comparing_references_inspection, it shouldn't be too hard to adapt the current test data in the php folder so that it can be used to create an automated test suite.

I am not too familiar with Intellij plugin development, but from what I've been able to gather from looking at this code sample (and http://www.jetbrains.org/intellij/sdk/docs/tutorials/writing_tests_for_plugins.html), we could create a small file structure such as

Test configuration (yaml)
- Which inspection to enable
- Any additional meta-data?
-----
<?php
// Case before
-----
<?php
// Case after

Let me know what you think. I'd be willing to work on this if anyone is willing to provide me with some support.

Edit: Apparently tests were added very recently in src/com/kalessil/phpStorm/phpInspectionsEA/tests! Thus I suggest we might discuss a more "scalable" approach than an inspection by inspection test? (that is declare only case files instead of full test classes).

[ideas] not optimal if conditions

There were many issues related to dependencies of conditions in "not optimal if conditions" inspections. Actually, this task is similar to topological sorting (https://en.wikipedia.org/wiki/Topological_sorting) and may be solved using existing algorithms. And advantage of topological sorting approach is possibility to implement "Quick Fix" solution to reorder conditions correctly.

Currently I see following possible dependencies:

1. isset($var), !is_null($var), !empty($var) before usage of $var.
2. isset($var[$key]), array_key_exists($key, $var) before usage of $var[$key].
3. Type check (is_array, is_object, is_bool, is_int/is_integer/is_long, is_float/is_double/is_real, is_numeric, is_string, is_scalar, is_callable, instanceof, is_a, is_subclass_of) before usage.
4. function_exists, method_exists, property_exists, class_exists, interface_exists, trait_exists before corresponding usage.
5. Pass a $var by reference to a function, then usage of $var on the left and right of this condition shouldn't be mixed.
6. Order of functions calls shouldn't be changed (as they may have side effects).

PS. Not so easy to implement, but maybe someone will have free time to do it.

[fixed] Drop "'declare(strict_types=1)' is missing" as PS has a native one (2016.3)

[new, configuration] long inheritance chain: to work with ORMs

Original link: https://bitbucket.org/kalessil/phpinspectionsea/issues/228/long-inheritance-chain-introduce
Author: @marekjalovec

See original link

[false-positive] disconnected foreach-statements with Dom/XML classes.

$writer = new \XMLWriter();
$writer->openMemory();

foreach ($dispatchNumbers as $number) {
    $writer->startElement('Order');
    $writer->writeAttribute('DispatchNumber', $number);
    $writer->endElement();
}

$writer->endElement();

echo $writer->outputMemory();

startElement and endElement are marked disconnected.

[quaity] use Java 8 language level in project settings, update docs

[false-positive] unset foreach value by reference

Original link: https://bitbucket.org/kalessil/phpinspectionsea/issues/249/false-positive-in-slow-alter-in-foreach
Author @FlyingDR

    /* @var $x array */
    foreach ($x as &$y) { // <- reported
        echo $y;
    }

    /** comment */
    unset($y);
`