"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "stubs/taint/filesystem_sinks.pysa" between
pyre-check-0.0.54.tar.gz and pyre-check-0.0.55.tar.gz

About: Pyre is a performant type checker for Python (ships with Pysa, a security focused static analysis tool).

filesystem_sinks.pysa  (pyre-check-0.0.54):filesystem_sinks.pysa  (pyre-check-0.0.55)
# Filesystem Sinks # Filesystem Sinks
def open(file: TaintSink[FileSystem], mode, buffering, encoding, errors, newline def open(file: TaintSink[FileSystem_ReadWrite, ViaValueOf[mode, WithTag["file-op
, closefd): ... en-mode"]]], mode, buffering, encoding, errors, newline, closefd): ...
def os.remove(path: TaintSink[FileSystem], *, dir_fd=...): ... def os.open(path: TaintSink[FileSystem_ReadWrite, ViaValueOf[mode, WithTag["file
def os.open(path: TaintSink[FileSystem], flags, mode, *, dir_fd): ... -open-mode"]]], flags, mode, *, dir_fd): ...
def os.mkdir(path: TaintSink[FileSystem], mode, *, dir_fd): ...
def os.makedirs(name: TaintSink[FileSystem], mode, exist_ok): ...
def os.rename(src: TaintSink[FileSystem], dst:TaintSink[FileSystem], *, src_dir_
fd, dst_dir_fd): ...
def os.rmdir(path: TaintSink[FileSystem], *, dir_fd): ...
def os.walk(top: TaintSink[FileSystem], topdown, onerror, followlinks): ...
def os.chmod(path: TaintSink[FileSystem], mode, *, dir_fd, follow_symlinks): ...
def os.chown(path: TaintSink[FileSystem], uid, gid, *, dir_fd, follow_symlinks):
...
def os.lchown(path: TaintSink[FileSystem], uid, gid): ...
def os.access(path: TaintSink[FileSystem], mode, *, dir_fd, effective_ids, follo
w_symlinks): ...
def os.chflags(path: TaintSink[FileSystem], flags, follow_symlinks): ...
def os.lchflags(path: TaintSink[FileSystem], flags): ...
def os.lchmod(path: TaintSink[FileSystem], mode): ...
def os.link(src: TaintSink[FileSystem], dst: TaintSink[FileSystem], *, src_dir_f
d: TaintSink[FileSystem], dst_dir_fd: TaintSink[FileSystem], follow_symlinks): .
..
def os.truncate(path: TaintSink[FileSystem], length): ...
def os.utime(path: TaintSink[FileSystem], times, *, ns, dir_fd, follow_symlinks)
: ...
def os.chdir(path: TaintSink[FileSystem]): ...
def os.chroot(path: TaintSink[FileSystem]): ...
def os.putenv(__name: TaintSink[FileSystem], __value: TaintSink[FileSystem]): ..
.
def os.unsetenv(__name: TaintSink[FileSystem]): ...
def os.removedirs(name: TaintSink[FileSystem]): ...
def os.renames(old: TaintSink[FileSystem], new: TaintSink[FileSystem]): ...
def os.replace(src: TaintSink[FileSystem], dst: TaintSink[FileSystem], *, src_di
r_fd, dst_dir_fd): ...
def os.unlink(path: TaintSink[FileSystem], *, dir_fd): ...
def os.fwalk(top: TaintSink[FileSystem], topdown, onerror, *, follow_symlinks, d
ir_fd): ...
def os.removexattr(path: TaintSink[FileSystem], attribute, *, follow_symlinks):
...
def os.setxattr(path: TaintSink[FileSystem], attribute, value, flags, *, follow_
symlinks): ...
def shutil.rmtree(path: TaintSink[FileSystem], ignore_errors, onerror): ... def zipfile.ZipFile.__init__(self, file: TaintSink[FileSystem_ReadWrite, ViaValu
def shutil.copyfile(src: TaintSink[FileSystem], dst: TaintSink[FileSystem], *, f eOf[mode, WithTag["file-open-mode"]]], mode, compression, allowZip64): ...
ollow_symlinks): ... def gzip.open(filename: TaintSink[FileSystem_ReadWrite, ViaValueOf[mode, WithTag
def shutil.copymode(src: TaintSink[FileSystem], dst: TaintSink[FileSystem], *, f ["file-open-mode"]]], mode, compresslevel, encoding, errors, newline): ...
ollow_symlinks): ... def gzip.GzipFile.__init__(self, filename: TaintSink[FileSystem_ReadWrite, ViaVa
def shutil.copystat(src: TaintSink[FileSystem], dst: TaintSink[FileSystem], *, f lueOf[mode, WithTag["file-open-mode"]]], mode, compresslevel, fileobj, mtime): .
ollow_symlinks): ... ..
def shutil.copy(src: TaintSink[FileSystem], dst: TaintSink[FileSystem], *, follo def bz2.open(filename: TaintSink[FileSystem_ReadWrite, ViaValueOf[mode, WithTag[
w_symlinks): ... "file-open-mode"]]], mode, compresslevel, encoding, errors, newline): ...
def shutil.copy2(src: TaintSink[FileSystem], dst: TaintSink[FileSystem], *, foll
ow_symlinks): ...
def shutil.copytree(src: TaintSink[FileSystem], dst: TaintSink[FileSystem], syml
inks, ignore, copy_function, ignore_dangling_symlinks): ...
def shutil.move(src: TaintSink[FileSystem], dst: TaintSink[FileSystem], copy_fun
ction): ...
def shutil.chown(path: TaintSink[FileSystem], user, group): ...
def shutil.make_archive(base_name: TaintSink[FileSystem], format, root_dir, base
_dir: TaintSink[FileSystem], verbose, dry_run, owner, group, logger): ...
def shutil.unpack_archive(filename: TaintSink[FileSystem], extract_dir: TaintSin
k[FileSystem], format): ...
def zipfile.ZipFile.__init__(self, file: TaintSink[FileSystem], mode, compressio
n, allowZip64): ...
def gzip.open(filename: TaintSink[FileSystem], mode, compresslevel, encoding, er
rors, newline): ...
def gzip.GzipFile.__init__(self, filename: TaintSink[FileSystem], mode, compress
level, fileobj, mtime): ...
def bz2.open(filename: TaintSink[FileSystem], mode, compresslevel, encoding, err
ors, newline): ...
def tempfile.TemporaryFile(mode, buffering, encoding, newline, suffix, prefix: T
aintSink[FileSystem], dir: TaintSink[FileSystem]): ...
def tempfile.NamedTemporaryFile(mode, buffering, encoding, newline, suffix, pref
ix: TaintSink[FileSystem], dir: TaintSink[FileSystem], delete): ...
def tempfile.SpooledTemporaryFile(max_size, mode, buffering, encoding, newline,
suffix, prefix: TaintSink[FileSystem], dir: TaintSink[FileSystem]): ...
def tempfile.TemporaryDirectory(suffix: TaintSink[FileSystem], prefix: TaintSink
[FileSystem], dir: TaintSink[FileSystem]): ...
def tempfile.mkstemp(suffix: TaintSink[FileSystem], prefix: TaintSink[FileSystem
], dir: TaintSink[FileSystem], text): ...
def tempfile.mkdtemp(suffix: TaintSink[FileSystem], prefix: TaintSink[FileSystem
], dir: TaintSink[FileSystem]): ...
def linecache.getline(filename: TaintSink[FileSystem], lineno, module_globals):
...
def linecache.lazycache(filename: TaintSink[FileSystem], module_globals): ...
def tarfile.TarFile.open( def tarfile.TarFile.open(
cls, cls,
name: TaintSink[FileSystem] = ..., name: TaintSink[FileSystem_ReadWrite, ViaValueOf[mode, WithTag["file-open-mo de"]]] = ...,
mode = ..., mode = ...,
fileobj = ..., fileobj = ...,
bufsize = ..., bufsize = ...,
format = ..., format = ...,
tarinfo = ..., tarinfo = ...,
dereference = ..., dereference = ...,
ignore_zeros = ..., ignore_zeros = ...,
encoding = ..., encoding = ...,
errors = ..., errors = ...,
pax_headers = ..., pax_headers = ...,
debug = ..., debug = ...,
errorlevel = ... errorlevel = ...
): ... ): ...
# tarfile.TarFile # tarfile.TarFile
def tarfile.TarFile.__init__( def tarfile.TarFile.__init__(
self, self,
name: TaintSink[FileSystem] = ..., name: TaintSink[FileSystem_ReadWrite, ViaValueOf[mode, WithTag["file-open-mo de"]]] = ...,
mode = ..., mode = ...,
format = ..., format = ...,
tarinfo =..., tarinfo =...,
dereference = ..., dereference = ...,
ignore_zeros = ..., ignore_zeros = ...,
encoding = ..., encoding = ...,
errors = ..., errors = ...,
pax_headers = ..., pax_headers = ...,
debug = ..., debug = ...,
errorlevel = ..., errorlevel = ...,
copybufsize = ... copybufsize = ...
): ... ): ...
# misc functions that accept file paths as a param def urllib.request.urlretrieve(url, filename: TaintSink[FileSystem_ReadWrite]=..
def marshal.load(__file: TaintSink[FileSystem]): ... ., reporthook=..., data=...): ...
def marshal.dump(__value, __file: TaintSink[FileSystem], __version=...): ...
def shelve.DbfilenameShelf(filename: TaintSink[FileSystem], flag=..., protocol=.
.., writeback=...): ...
def shelve.open(filename: TaintSink[FileSystem], flag=..., protocol=..., writeba
ck=...): ...
def pickle.Unpickler.__init__(
self,
file: TaintSink[FileSystem],
fix_imports = ...,
encoding = ...,
errors = ...
): ...
def pickle.load(
file: TaintSink[FileSystem],
*,
fix_imports=...,
encoding=...,
errors=...,
): ...
def urllib.request.urlretrieve(url, filename: TaintSink[FileSystem]=..., reporth
ook=..., data=...): ...
def pathlib.PurePath.__new__(cls, *args: TaintSink[FileSystem]): ...
def pathlib.PurePath.__truediv__(self, key: TaintSink[FileSystem]): ...
def pathlib.PurePath.__rtruediv__(self, key: TaintSink[FileSystem]): ...
def pathlib.Path.__new__(cls, *args: TaintSink[FileSystem], **kwargs): ...
def pathlib.Path.symlink_to(self: TaintSink[FileSystem], target: TaintSink[FileS
ystem], target_is_directory = ...): ...
def pathlib.Path.rglob(self, pattern: TaintSink[FileSystem]): ...
def pathlib.Path.chmod(self: TaintSink[FileSystem], mode): ... def pathlib.PurePath.__new__(cls, *args: TaintSink[FileSystem_ReadWrite]): ...
def pathlib.Path.lchmod(self: TaintSink[FileSystem], mode): ... def pathlib.PurePath.__truediv__(self, key: TaintSink[FileSystem_ReadWrite]): ..
def pathlib.Path.mkdir(self: TaintSink[FileSystem], mode = ..., parents = ..., e .
xist_ok = ...): ... def pathlib.PurePath.__rtruediv__(self, key: TaintSink[FileSystem_ReadWrite]): .
def pathlib.Path.open(self: TaintSink[FileSystem], mode = ..., buffering = ..., ..
encoding = ..., errors = ..., newline = ...): ... def pathlib.Path.__new__(cls, *args: TaintSink[FileSystem_ReadWrite], **kwargs):
def pathlib.Path.rename(self: TaintSink[FileSystem], target: TaintSink[FileSyste ...
m]): ...
def pathlib.Path.replace(self: TaintSink[FileSystem], target: TaintSink[FileSyst def pathlib.Path.open(self: TaintSink[FileSystem_ReadWrite, ViaValueOf[mode, Wit
em]): ... hTag["file-open-mode"]]], mode = ..., buffering = ..., encoding = ..., errors =
def pathlib.Path.rmdir(self: TaintSink[FileSystem]): ... ..., newline = ...): ...
def pathlib.Path.touch(self: TaintSink[FileSystem], mode = ..., exist_ok = ...): def pathlib.Path.read_bytes(self: TaintSink[FileSystem_ReadWrite]): ...
... def pathlib.Path.read_text(self: TaintSink[FileSystem_ReadWrite], encoding = ...
def pathlib.Path.unlink(self: TaintSink[FileSystem]): ... , errors = ...): ...
def pathlib.Path.read_bytes(self: TaintSink[FileSystem]): ... def pathlib.Path.write_bytes(self: TaintSink[FileSystem_ReadWrite], data): ...
def pathlib.Path.read_text(self: TaintSink[FileSystem], encoding = ..., errors = def pathlib.Path.write_text(self: TaintSink[FileSystem_ReadWrite], data, encodin
...): ... g = ..., errors = ...): ...
def pathlib.Path.write_bytes(self: TaintSink[FileSystem], data): ...
def pathlib.Path.write_text(self: TaintSink[FileSystem], data, encoding = ..., e
rrors = ...): ...
 End of changes. 6 change blocks. 
119 lines changed or deleted 17 lines changed or added

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)