Issues in Specifying.php (master) - Issues in master - Stratadox/Specification - Measure and Improve Code Quality continuously with Scrutinizer

Issues (7)

Security Analysis no request data

File Inclusion

File Inclusion enables an attacker to inject custom files into PHP's file loading mechanism, either explicitly passed to include, or for example via PHP's auto-loading mechanism.

Regex Injection

Regex Injection enables an attacker to execute arbitrary code in your PHP process.

SQL Injection

SQL Injection enables an attacker to execute arbitrary SQL code on your database server gaining access to user data, or manipulating user data.

Response Splitting

Response Splitting can be used to send arbitrary responses.

File Manipulation

File Manipulation enables an attacker to write custom data to files. This potentially leads to injection of arbitrary code on the server.

Object Injection

Object Injection enables an attacker to inject an object into PHP code, and can lead to arbitrary code execution, file exposure, or file manipulation attacks.

File Exposure

File Exposure allows an attacker to gain access to local files that he should not be able to access. These files can for example include database credentials, or other configuration files.

XML Injection

XML Injection enables an attacker to read files on your local filesystem including configuration files, or can be abused to freeze your web-server process.

Code Injection

Code Injection enables an attacker to execute arbitrary code on the server.

Variable Injection

Variable Injection enables an attacker to overwrite program variables with custom data, and can lead to further vulnerabilities.

XPath Injection

XPath Injection enables an attacker to modify the parts of XML document that are read. If that XML document is for example used for authentication, this can lead to further vulnerabilities similar to SQL Injection.

Other Vulnerability

This category comprises other attack vectors such as manipulating the PHP runtime, loading custom extensions, freezing the runtime, or similar.

Command Injection

Command Injection enables an attacker to inject a shell command that is execute with the privileges of the web-server. This can be used to expose sensitive data, or gain access of your server.

LDAP Injection

LDAP Injection enables an attacker to inject LDAP statements potentially granting permission to run unauthorized queries, or modify content inside the LDAP tree.

Cross-Site Scripting

Cross-Site Scripting enables an attacker to inject code into the response of a web-request that is viewed by other users. It can for example be used to bypass access controls, or even to take over other users' accounts.

Header Injection

Unfortunately, the security analysis is currently not available for your project. If you are a non-commercial open-source project, please contact support to gain access.

src/Specifying.php (7 issues)

Labels

Bug 7

Severity

Stratadox 7

<?php

declare(strict_types = 1);

namespace Stratadox\Specification;

use Stratadox\Specification\Binary\AndSpecification;
use Stratadox\Specification\Binary\OrSpecification;
use Stratadox\Specification\Binary\XorSpecification;
use Stratadox\Specification\Contract\Satisfiable;
use Stratadox\Specification\Contract\Specifies;
use Stratadox\Specification\Unary\NotSpecification;

trait Specifying
{
    /** @see Specifies::not() */
    public function not() : Specifies
    {
        /** @var Specifying|Satisfiable $this */
        return $this->doesNotSatisfy($this);
        return $this->doesNotSatisfy(/** @scrutinizer ignore-type */ $this);
    }

    /** @see Specifies::and() */
    public function and(Satisfiable $other) : Specifies
    {
        /** @var Specifying|Satisfiable $this */
        return $this->satisfiesBoth($this, $other);
        return $this->satisfiesBoth(/** @scrutinizer ignore-type */ $this, $other);
    }

    /** @see Specifies::or() */
    public function or(Satisfiable $other) : Specifies
    {
        /** @var Specifying|Satisfiable $this */
        return $this->oneOfThese($this, $other);
        return $this->oneOfThese(/** @scrutinizer ignore-type */ $this, $other);
    }

    /** @see Specifies::xor() */
    public function xor(Satisfiable $other) : Specifies
    {
        /** @var Specifying|Satisfiable $this */
        return new XorSpecification($this, $other);
        return new XorSpecification(/** @scrutinizer ignore-type */ $this, $other);
    }

    /** @see Specifies::nor() */
    public function nor(Satisfiable $other) : Specifies
    {
        return $this->not()->andNot($other);
    }

    /** @see Specifies::andNot() */
    public function andNot(Satisfiable $other) : Specifies
    {
        return $this->and($this->doesNotSatisfy($other));
    }

    /** @see Specifies::butNot() */
    public function butNot(Satisfiable $other) : Specifies
    {
        return $this->andNot($other);
    }

    /** @see Specifies::orNot() */
    public function orNot(Satisfiable $other) : Specifies
    {
        return $this->or($this->doesNotSatisfy($other));
    }


    // Private


    private function doesNotSatisfy(Satisfiable $condition) : Specifies
    {
        return new NotSpecification($condition);
    }

    private function satisfiesBoth(Satisfiable $firstCondition, Satisfiable $secondCondition) : Specifies
    {
        return new AndSpecification($firstCondition, $secondCondition);
    }

    private function oneOfThese(Satisfiable $firstCondition, Satisfiable $secondCondition) : Specifies
    {
        return new OrSpecification($firstCondition, $secondCondition);
    }
}


Stratadox / Specification

Issues (7)

Security Analysis no request data

src/Specifying.php (7 issues)

Labels

Severity

Introduced By

Duplication Side-by-Side

Filter issues like