Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
Blokirali ste korisnika/cu @efrmv
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @efrmv
-
Custom kernel for Samsung S10 (SM-G973F) with integrated Magisk https://github.com/CruelKernel/exynos9820-beyond1lte …
#android#kernel#samsung#github Integration with GitHub Actions. Build your kernel from a browser!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tether Unblock - Magisk Module for bypassing tethering blocking by mobile operators https://github.com/evdenis/tether_unblock …
#magisk#android#tetheringHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Enable Eng - Magisk Module for enabling engineering build settings https://github.com/evdenis/enable_eng …
#magisk#androidHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
SELinux Permissive - Magisk Module for enabling permissive mode https://github.com/evdenis/selinux_permissive …
#magisk#android#selinuxHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
ADB Root - Magisk Module to run adbd daemon from root ("adb root") https://github.com/evdenis/adb_root …
#magisk#android#adbHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
D. Efremov, I. Shchepetkov "Runtime Verification of Linux Kernel Security Module" https://arxiv.org/abs/2001.01442
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Minor out-of-bounds read in smk_set_cipso() root$ echo "test 1" > /sys/fs/smackfs/cipso2 https://lkml.org/lkml/2019/11/20/633 …
#syzkaller#LinuxPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Smack LSM module descriptions for
#syzkallerhttps://github.com/google/syzkaller/pull/1513 …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Denis Efremov proslijedio/la je Tweet
CVE-2019-14283 In the Linux kernel before 5.2.3, set_geometry in drivers/block/floppy.c does not validate the sect and head fields, as demonstrated by an integer overflow and out-of-bounds read. It can be triggered by an unprivileged local user when a f... https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2019-14283 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Denis Efremov proslijedio/la je Tweet
CVE-2019-14284 In the Linux kernel before 5.2.3, drivers/block/floppy.c allows a denial of service by setup_format_params division-by-zero. Two consecutive ioctls can trigger the bug: the first one should set the driv... https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2019-14284 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Floppy description for syzkaller. Reveals pretty old kernel bugshttps://github.com/google/syzkaller/pull/780 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Paper "Lemma Functions for Frama-C: C Programs as Proofs" Grigoriy Volkov, Mikhail Mandrykin, Denis Efremov https://arxiv.org/abs/1811.05879 Presentation http://0x1.tv/img_auth.php/2/29/%D0%A4%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%B8-%D0%BB%D0%B5%D0%BC%D0%BC%D1%8B_%D0%B2_%D1%81%D1%80%D0%B5%D0%B4%D0%B5_Frama-C_%E2%80%94_%D0%B8%D1%81%D0%BF%D0%BE%D0%BB%D1%8C%D0%B7%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5_%D0%A1_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC_%D0%BA%D0%B0%D0%BA_%D0%B4%D0%BE%D0%BA%D0%B0%D0%B7%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D1%81%D1%82%D0%B2_%28%D0%93%D1%80%D0%B8%D0%B3%D0%BE%D1%80%D0%B8%D0%B9_%D0%92%D0%BE%D0%BB%D0%BA%D0%BE%D0%B2%2C_ISPRASOPEN-2018%29.pdf …
#FramaC#Why3Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
New edition of "ACSL by Example". New examples, inconsistencies fixes, refactoring of specifications, support for AstraVer and more https://lists.gforge.inria.fr/pipermail/frama-c-discuss/2019-June/005641.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The verification results from the paper "Formal Verification of a Memory Allocation Module of Contiki with Frama-C: a Case Study" Frédéric Mangano, Simon Duquennoy, Nikolai Kosmatov were merged to the Contiki-NG treehttps://github.com/contiki-ng/contiki-ng/pull/1003 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Our presentation from Frama-C & SPARK Day 2019 "Continuous deductive verification with Frama-C" Denis Efremov, Jens Gerlach https://frama-c.com/download/framaCDay/FCSD19/embedded_3_efremov_gerlach.pdf … The demo is here:https://github.com/evdenis/contiki-ng/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
It's very funny that latest Fedora kernel crashes while trying to connect to "eduroam" Wi-Fi on MacBookPro12, nl80211 driver. I thought that nowadays it's impossible. My failed presentation on a meetup, bug things happens)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The presentation from the ISoLA18 conference. "Deductive verification of unmodified Linux kernel library functions"https://speakerdeck.com/efremov/deductive-verification-of-unmodified-linux-kernel-library-functions …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Denis Efremov proslijedio/la je Tweet
Our
@poplconf paper "ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS" is now finalized https://alastairreid.github.io/papers/POPL_19/ Four ISA specs complete enough that they can boot Linux/FreeBSD/seL4. Backends for three theorem provers (plus C and OCaml). Proofs, typesystems and more.https://twitter.com/alastair_d_reid/status/1049759349323776005 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Denis Efremov proslijedio/la je Tweet
Call for Papers: FormaliSE 2019 - https://mailchi.mp/557972611d46/ablgepez6t-2817569 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.