Vivien à la masse ⏚ · @gugurumbe
51 followers · 885 posts · Server mastouille.frJ’ai enfin réussi à installer frama-c depuis guix (avec le micro-patch 64675), sans alt-ergo qui est propriétaire, mais avec Z3 qui est libre.
Votre .why3.conf doit contenir la section suivante :
[detected_binary]
exec_name = "/…/bin/z3"
name = "Z3"
version = "4.8.17"
Attention, il faut bien une majuscule à Z3, sinon why3 est perdu.
Il faut bien spécifier à frama-c-wp qu’on utilise Z3 :
frama-c-gui -wp -rte -wp-prover Z3 main.c
GrayGooGirl :v_lesbian: :1up: · @GrayGooGirl
647 followers · 339 posts · Server mstdn.games
Time to kick some butt, find some doritos and make a pig-demon wish he hadn't stolen a princess! Going live on some A Link to the Past - Triforce Hunts - Overworld Glitch Logic!
https://www.twitch.tv/graygoogirl
#originalhardware #snes #sfc #twitch #streaming #smallstreamer #zelda #alttp #z3
#originalhardware #snes #sfc #twitch #streaming #smallstreamer #zelda #alttp #z3
蓮田蘭茶/日次更新 · @rancha_tf
20 followers · 1623 posts · Server pawoo.net
蓮田蘭茶/日次更新 · @rancha_tf
21 followers · 1639 posts · Server pawoo.net
Horschtel · @Horschtel
168 followers · 391 posts · Server social.tchncs.de
José A. Alonso · @Jose_A_Alonso
617 followers · 781 posts · Server mathstodon.xyzA gentle introduction to SMT-based program analysis. ~ Arnau Gàmez i Montolio. https://furalabs.com/blog/2023/02/12/intro_to_smt_analysis #SMT #Z3
José A. Alonso · @Jose_A_Alonso
562 followers · 533 posts · Server mathstodon.xyzZ3 internals (Draft). ~ Nikolaj Bjørner (@BjornerNikolaj) et als. https://z3prover.github.io/papers/z3internals.html #SMT #Z3
Yoxem · @Yoxem
145 followers · 2312 posts · Server g0v.social利用 #Python 的 #z3 求解器函式庫，可以給出一個函數（absolute(x)）和輸出值域的否敘述（Not(y >= 0)，來求解，假設求出 no solution，表示這個函數的值域滿足我們的期待，這也可以用來驗證函數的合理性。
如下例：
x = Real('x')
y = Real('y')
absolute = Function('f', RealSort(), RealSort())
solve(absolute(x) == If(x > 0, x, -x), y == absolute(x), y Not(y >= 0))
// no solution
avallach · @xorhex
160 followers · 162 posts · Server infosec.exchange
Had some fun using #Z3 to eliminate superfluous logic from string decryption routines. Wrote a blog post documenting my process.
Thank you @mr_phrazer for introducing this concept to me during your Software Deobfuscation Techniques training.
#z3 #z3solver #malware #idapro #ida
nope · @stacked_automation
124 followers · 6519 posts · Server mastodon.socialz3-tutorial
(2011) : Leonardo de Moura and Nikolaj Bj{\o}rner
url: https://www.cs.colostate.edu/~cs440/spring19/slides/z3-tutorial.pdf
#SAT #SMT #lisp #satisfiability_moduolo_theories #z3
#my_bibtex
#sat #smt #lisp #satisfiability_moduolo_theories #z3 #my_bibtex
nope · @stacked_automation
127 followers · 6600 posts · Server mastodon.socialz3-tutorial
(2011) : Leonardo de Moura and Nikolaj Bj{\o}rner
url: https://www.cs.colostate.edu/~cs440/spring19/slides/z3-tutorial.pdf
#SAT #SMT #lisp #satisfiability_moduolo_theories #z3
#my_bibtex
#sat #smt #lisp #satisfiability_moduolo_theories #z3 #my_bibtex
Paul Stone · @pdjstone
88 followers · 83 posts · Server mastodon.me.uk
Possibly overkill but I tried out Z3 for the first time on part 2, to get an instant result.
党外国組織部指導者【ドイツ国・NSDAP今日は何の日】 · @AO19311945
129 followers · 58066 posts · Server mstdn.jp
【1935年11月30日】駆逐艦Z3 マックス・シュルツ（Max Schultz）進水。
#今日は何の日
#今日の進水
#ドイツ海軍
#Kriegsmarine
#駆逐艦
#駆逐艦Z3_マックス·シュルツ
#Z3
#マックス·シュルツ
#Max_Schultz
#1935年11月30日
#11月30日
#11月30日 #1935年11月30日 #Max_Schultz #マックス·シュルツ #z3 #駆逐艦Z3_マックス·シュルツ #駆逐艦 #Kriegsmarine #ドイツ海軍 #今日の進水 #今日は何の日
CyberEthical.Me · @cyberethical_me
35 followers · 23 posts · Server infosec.exchangePredicting .NET Core random numbers using Z3 Theorem Prover. Example on MegaSHP CTF October 2021 edition from Sekurak. Write-up for the Random challenge.
https://blog.cyberethical.me/z3-prover-predicting-dotnet-random
#random #dotnet #z3 #z3prover #ethicalhacking #cyberethical
CyberEthical.Me · @cyberethical_me
38 followers · 25 posts · Server infosec.exchangePredicting .NET Core random numbers using Z3 Theorem Prover. Example on MegaSHP CTF October 2021 edition from Sekurak. Write-up for the Random challenge.
https://blog.cyberethical.me/z3-prover-predicting-dotnet-random
#random #dotnet #z3 #z3prover #ethicalhacking #cyberethical
Cat · @KathiCat
128 followers · 169 posts · Server troet.cafeGerade total hektisch nach den Schlüsseln vom Z3 gesucht:
Weder in meinen Manteltaschen, noch in der Handtasche, noch auf meiner Ablage fündig geworden.
Panik, mir wurde heiß und kalt!
Dann fiel mir ein:
ich habe ja gar keinen Z3!
Ihr könnt euch nicht vorstellen, wie erleichtert ich war - zum Glück alles noch mal gut ausgegangen.
#Z3 #Auto
linus · @linus
10 followers · 7 posts · Server weird.autos
On our way to #TougeFest at #TailOfTheDragon this past weekend. Blood Mountain is kinda scary in the wet. #bmw #z3 #s2000 #s2k #miata
#TougeFest #TailOfTheDragon #bmw #z3 #s2000 #s2k #miata
Nordnick :verified: · @nick
965 followers · 7215 posts · Server norden.social
Schon gewußt? #ITI
Konrad Ernst Otto Zuse (* 22. Juni 1910 in Deutsch-Wilmersdorf; † 18. Dezember 1995 in Hünfeld, BRD) war ein deutscher Bauingenieur, Erfinder und Unternehmer (Zuse KG). Mit seiner Entwicklung der #Z3 im Jahr 1941 baute #Zuse den ersten funktionstüchtigen, vollautomatischen, programmgesteuerten und frei programmierbaren, in binärer Gleitkommarechnung arbeitenden #Rechner und somit den ersten funktionsfähigen #Computer der Welt.
#ITI #z3 #zuse #rechner #computer
Sapere Aude · @textbook
348 followers · 34103 posts · Server social.tchncs.deAls Land in dem der erste #Computer erdacht und gebaut wurde, ist es der #Konkurrenz ein verständlicherweise ernstes Anliegen, dieses #Knowhow nicht erneut entstehen zu lassen.
#z3 #lesenswert #knowhow #konkurrenz #computer
