summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorParagon Initiative Enterprises, LLC <security@paragonie.com>2017-02-03 13:37:32 -0500
committerParagon Initiative Enterprises, LLC <security@paragonie.com>2017-02-03 13:37:32 -0500
commit191b04aa776f7a820c2b326b079c90ad10438d5c (patch)
tree83461339d7f1a10f26190c26339b42607ab5b5b3
parent0c9b5a86a2f52ed61d6db838fb1609c877a47a40 (diff)
parent736f6b0f70338b48d0cb597f6f9c5272fca254e1 (diff)
downloadrandom_compat-191b04aa776f7a820c2b326b079c90ad10438d5c.zip
random_compat-191b04aa776f7a820c2b326b079c90ad10438d5c.tar.gz
random_compat-191b04aa776f7a820c2b326b079c90ad10438d5c.tar.bz2
Merge branch 'master' into psalm
-rw-r--r--psalm-autoload.php8
-rw-r--r--psalm.xml19
2 files changed, 27 insertions, 0 deletions
diff --git a/psalm-autoload.php b/psalm-autoload.php
new file mode 100644
index 0000000..7479ef9
--- /dev/null
+++ b/psalm-autoload.php
@@ -0,0 +1,8 @@
+<?php
+
+require_once 'lib/byte_safe_strings.php';
+require_once 'lib/cast_to_int.php';
+require_once 'lib/error_polyfill.php';
+require_once 'lib/random.php';
+
+$int = random_int(0, 65536);
diff --git a/psalm.xml b/psalm.xml
new file mode 100644
index 0000000..e1a0ab0
--- /dev/null
+++ b/psalm.xml
@@ -0,0 +1,19 @@
+<?xml version="1.0"?>
+<psalm
+ autoloader="psalm-autoload.php"
+ stopOnFirstError="false"
+ useDocblockTypes="true"
+>
+ <projectFiles>
+ <directory name="lib" />
+ </projectFiles>
+ <issueHandlers>
+ <DuplicateClass errorLevel="info" />
+ <UndefinedClass errorLevel="info" />
+ <FailedTypeResolution errorLevel="info" />
+ <InvalidArgument errorLevel="info" />
+ <InvalidOperand errorLevel="info" />
+ <InvalidPropertyAssignment errorLevel="info" />
+ <TypeCoercion errorLevel="info" />
+ </issueHandlers>
+</psalm>