redexer

redexer Redexer is a reengineering tool that manipulates Android app binaries. This tool is able to parse a DEX file into an in-memory data structure; to infer with which parameters the app uses certain permissions we name this feature RefineDroid; to modify and unparse that data structure to...

infer

Infer Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml. Installation Read our Getting Started page for details on how to install packaged versions of Infer. To build Infer from source, see INSTALL.md. Contributing See CONTRIBUTING.md. License Infer is...

The vulnerability of the readblock() function in the runtime/intern.c file of the OCaml programming language allows a hacker to execute arbitrary code.

The vulnerability of the readblock function in the runtime/intern.c file of the OCaml programming language is related to reading data beyond the allowed range of memory. Exploiting this vulnerability could allow an attacker to execute arbitrary code...

[SECURITY] Fedora 45 Update: opam-2.5.2-5.fc45

Opam is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow...

[SECURITY] Fedora 45 Update: ocaml-xmlm-1.4.0-21.fc45

Xmlm is an OCaml streaming codec to decode and encode the XML data format. It can process XML documents without a complete in-memory representation of the data...

[SECURITY] Fedora 45 Update: ocaml-yojson-3.0.0-14.fc45

Yojson is an optimized parsing and printing library for the JSON format. It addresses a few shortcomings of json-wheel including 2x speedup, polymorphic variants and optional syntax for tuples and variants. ydump is a pretty-printing command-line program provided with the yojson package. The...

[SECURITY] Fedora 45 Update: ocaml-zed-3.2.3-25.fc45

Zed is an abstract engine for text editing. It can be used to write text editors, editing widgets, readlines, ... You just have to connect an engine to your inputs and rendering functions to get an editor. Zed provides: editing state management, multiple cursor support, key-binding helpers, and...

[SECURITY] Fedora 45 Update: ocaml-zmq-5.3.0-16.fc45

This library contains basic OCaml bindings for ZeroMQ...

[SECURITY] Fedora 45 Update: ocaml-xml-light-2.5-22.fc45

Xml-Light is a minimal XML parser & printer for OCaml. It provides functions to parse an XML document into an OCaml data structure, work with it, and print it back to an XML document. It also supports DTD parsing and checking, and is entirely written in OCaml; hence it does not require a C librar...

[SECURITY] Fedora 45 Update: ocaml-zip-1.14-5.fc45

This Objective Caml library provides easy access to compressed files in ZIP and GZIP format, as well as to Java JAR files. It provides functions for reading from and writing to compressed files in these formats...

[SECURITY] Fedora 45 Update: ocaml-yamlx-0.5.0-2.fc45

A pure-OCaml YAML 1.2 and 1.1 library with a lossless, comment-preserving AST. Features: - Full YAML 1.2 compliance =E2=80=94 passes all 371 tests from the yaml-test- suite. - Pure OCaml =E2=80=94 no C bindings, no external runtime dependencies. - Lossless AST =E2=80=94 the parsed node tree...

[SECURITY] Fedora 45 Update: ocaml-xmlrpc-light-0.6.1-92.fc45

XmlRpc-Light is an XmlRpc library written in OCaml...

[SECURITY] Fedora 45 Update: ocaml-zarith-1.14-15.fc45

This library implements arithmetic and logical operations over arbitrary-precision integers. The module is simply named "Z". Its interface is similar to that of the Int32, Int64 and Nativeint modules from the OCaml standard library, with some additional functions. See the file z.mlip for...

[SECURITY] Fedora 45 Update: ocaml-yaml-3.2.0-33.fc45

This is an OCaml library to parse and generate the YAML file format. It is intended to be interoperable with the Ezjsonm 1 JSON handling library, if the simple common subset of Yaml is used. Anchors and other advanced Yaml features are not implemented in the JSON compatibility layer. 1...

[SECURITY] Fedora 45 Update: ocaml-version-4.1.4-1.fc45

This library provides facilities to parse version numbers of the OCaml compiler, and enumerates the various official OCaml releases and configuration variants. OCaml version numbers are of the form major.minor.patch+extra, where the patch and extra fields are optional. This library offers the...

[SECURITY] Fedora 45 Update: ocaml-unionfind-20260226-5.fc45

The OCaml library unionFind offers two implementations of the union-find data structure. Both implementations are based on disjoint sets forests, with path compression and linking-by-rank, so as to guarantee good asymptotic complexity: every operation requires a quasi-constant number of accesses ...

[SECURITY] Fedora 45 Update: ocaml-uuseg-18.0.0-2.fc45

Uuseg is an OCaml library for segmenting Unicode text. It implements the locale-independent Unicode text segmentation algorithms http://www.unicode.org/reports/tr29/ to detect grapheme cluster, word and sentence boundaries and the Unicode line breaking algorithm http://www.unicode.org/reports/tr1...

[SECURITY] Fedora 45 Update: ocaml-variantslib-0.17.0-14.fc45

This package contains an OCaml syntax extension to define first class values representing variants...

[SECURITY] Fedora 45 Update: ocaml-topkg-1.1.1-7.fc45

Topkg is a packager for distributing OCaml software. It provides an API to describe the files a package installs in a given build configuration and to specify information about the package's distribution, creation and publication procedures...

[SECURITY] Fedora 45 Update: ocaml-uucd-18.0.0-1.fc45

Uucd is an OCaml module to decode the data of the Unicode character database http://www.unicode.org/reports/tr44/ from its XML representation http://www.unicode.org/reports/tr42/. It provides high-level but not necessarily efficient access to the data so that efficient representations can be...