Benign Download

modeling-rules.clp

Calls PHP assert

SHA-256a4c0e295f3efdddb99fbb08c3f9f7009c57a1cdd5d665b1667002cd248b62576

MaleculeO(Xe)

Evidence

English function-word token "the" lines 2–13

⋯5 lines
7; MARK: Templates
8
9(deftemplate MODELER::is-main-runloop-thread ; whether the corresponding thread is associated with the main runloop
10    (slot thread (type EXTERNAL-ADDRESS))
11)
12
13(deftemplate MODELER::open-unresp …

English function-word token "this" lines 23–24

23:17… ELER::initial-frame-rendering-started ; we need this to keep track of when the initial frame rendering happens, see below
24    (slot process (type EX …

English function-word token "for" lines 30–34

30:3…   (interval-type-to-kdebug-code runloop-waiting-for-event 3)
31)
32
33(defglobal MODELER
34    ?*unresponsiveness-interval-threshold* = (* 100 (* 1000 1000 …

English function-word token "and" lines 40–44

40:12… elers
41
42; detect when launch of a process starts and when it ends, as we don't want to report hangs during process launch
43; ideally we'd have a separate table for this, but we currently don't and we can't reuse the output of the app lifecycle
44; modeler because that modeler holds back the event horizon very far which in turn would hold our modelling back so we …

Calls PHP assert lines 47–53

47:91… it-start, same logic the app-lifecycle modeler uses
48    =>
49    (assert (process-is-launching (process (process-from-thread ?thread))))
50)
51
52(defrule MODELER::find-start-of-initial-frame-rendering
53    (p …