thomaslemezo / invariant-lib

Invariant is a guaranteed library to compute invariants associated to dynamical systems

Invariant library

Invariant is a guaranteed C++ library to compute invariant associated to a dynamical system.

Documentation

ToDo Installation

sudo apt-get install libgvc6 libgvc6-plugins-gtk graphviz-dev pkg-config python2.7 flex bison g++ make gcc 
sudo apt install libgl1-mesa-dev hdf5-tools libomp-dev libcurl4-gnutls-dev

Licence

This software is under GNU General Public License.

Python extension

ToDo

invariant-lib's Issues

Improve domain separator

Try to apply the separator at door level instead of room level.
👍 will permit to reduce the distance between inner & outer and so the number of paves bisected

• issue : yellow polygon can be larger (due to the separator) than it can be represented by doors.

Vulnerable shared libraries might make pyinvariant vulnerable. Can you help upgrade to patch versions?

Hi, @ThomasLeMezo , I'd like to report a vulnerability issue in pyinvariant_0.6.

Dependency Graph between Python and Shared Libraries

Issue Description

As shown in the above dependency graph (Here shows part of the dependency graph, which depends on vulnerable shared libraries), pyinvariant_0.6 directly or transitively depends on 33 C libraries (.so). However, I noticed that some C libraries are vulnerable, containing the following CVEs:
libgssapi_krb5-0f360511.so.2.2, libkrb5-0926b880.so.3.3 and libk5crypto-d17c94d0.so.3.1 from C project krb5(version:1.16) exposed 2 vulnerabilities:
CVE-2021-37750, CVE-2021-36222
libhdf5_hl-e57be49e.so.200.0.0 from C project hdf5(version:1.10.6) exposed 4 vulnerabilities:
CVE-2020-10811, CVE-2020-10812, CVE-2020-10810, CVE-2020-10809
libidn-97d26f25.so.11.6.11 from C project libidn(version:1.28) exposed 3 vulnerabilities:
CVE-2015-8948, CVE-2016-6261, CVE-2016-6262

Suggested Vulnerability Patch Versions

krb5 has fixed the vulnerabilities in versions >=1.19.3
hdf5 has fixed the vulnerabilities in versions >=1.12.1
libidn has fixed the vulnerabilities in versions >=1.33

Python build tools cannot report vulnerable C libraries, which may induce potential security issues to many downstream Python projects.
As a popular python package (pyinvariant has 1,231 downloads per month), could you please upgrade the above shared libraries to their patch versions?

Thanks for your help~
Best regards,
MikeWazowski

Projection & Slice operator for Maze

To display >3D, projection & slice operator are required

Implement infinity Paves

Constant vector field

Bug with the flow contractor (Room::contract_flow) when the vector field is collinear with an axis

alpha &= ((c[i]/(v[i] & Interval::POS_REALS)) & Interval::POS_REALS) | ((c[i]/(v[i] & Interval::NEG_REALS)) & Interval::POS_REALS);