repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
function_ptrs: record local pointer scope correctly
2018-05-14
Dan Carpenter
function
_
p
trs: r
e
cord local
pointer scope correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Car
p
enter
r
e
al_abso
l
u
t
e: don't sav
e
singl
e
v
alue assigns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan
Carpenter
sval: fix a bug in
s
val_
t
oo_low()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db
:
introduce db_ig
n
o
r
e_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
a
rpente
r
d
b
/u
n
tracked_param: mark parameters untracked
i
f w
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
an Car
p
enter
flow: don'
t
parse inline
f
unctions which aren't interes
t
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-23
Dan Ca
r
penter
db/constrai
n
ts_required
.
schema:
a
d
d
missing semi-col
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan
Ca
r
p
e
nter
fl
o
w
/expressions/function_hooks:
re
-
fix is_
a
ssigned
_
call()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
D
a
n Carpenter
k
e
r
nel: handl
e
__read_once_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
math
:
fix a
g
e
t
_
value()
b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-19
Dan Carpent
e
r
e
x
pressions: make
a
ssign_express
i
on() take an
op argument
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
D
a
n Carpenter
s
pe
c
tre: warn about pote
n
t
ial spectre vulnerabilities
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
Dan
C
arpenter
expressio
n
s: don't set the ->parent to
a
fake expression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-17
Dan Carpenter
express
i
on
s
:
j
u
st al
l
o
c
a
te zero_expr(
)
fresh every
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-16
Dan
Carp
e
nte
r
expr
e
ssio
n
/smatch_
e
xpressions: move expr_set/get_parent
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
D
a
n
Carpenter
or_vs
_
a
n
d:
tidy up whitespace
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpenter
or_vs_and: min_
t
(
)
uses the
new min() code as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
Dan Carpenter
check_or_vs_and: ignore the kernel's min/m
a
x macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
Dan Carpe
n
t
er
flow/mat
h
: ha
n
d
l
e __bui
l
tin_choos
e
_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
Dan Ca
r
p
enter
v
alidat
i
on/overflow: ch
a
nge "warn:" to "er
r
or:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
Dan
Ca
r
pent
e
r
a
b
o
ut_fn_
p
tr_arg: don't get
i
n
t
o a recursive
l
o
op
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
h
e
lp
e
r:
add get_las
t
_s
t
atemen
t
_fro
m
_expr
e
s
sion
_
s
t
m
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n Carpe
n
ter
mem_tracker: add a --mem
o
ption to debug m
e
mory
use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Ca
r
penter
expressions: remove some
unnecessary gotos
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carp
e
nt
e
r
he
l
p
e
r: improv
e
is_error_retur
n
()
.
In th
e
kernel a
l
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n
Carpen
t
er
smatch_data/sma
t
ch
.
common_functions:
a
dd some co
m
mon
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Da
n
Carpe
n
ter
smatch_d
a
ta/kernel
.
ignored_macros: add AA_BUG()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
smatch
_
data/
k
ernel
.
ig
n
ore_uni
n
itialize
d
p
arams: add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Car
p
ent
e
r
sm
a
tch_data/kernel
.
i
gnore
_
s
ide_effect
s
add recent mac
r
os
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpent
e
r
comparison: hand
l
e
expression stateme
n
ts better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan C
a
rpe
n
ter
com
p
a
r
i
s
o
n
: re
m
ove some debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan
Ca
r
pen
t
er
com
p
arison: introduce imposs
i
b
ly_
h
igh_
c
omparison()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-05
Dan C
a
r
p
e
nter
igno
r
e: fix && vs || typo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-29
Dan Carpent
e
r
inde
x
_overflow: alm
o
s
t a
re-write
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Da
n
Car
p
e
nter
implied: impro
v
e handling
o
f a
s
signments
i
n argument
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Ca
r
penter
kernel_pr
i
nt
f
: don't war
n
about void po
i
nt
e
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Ca
r
penter
che
a
k_le
a
ks: handle
r
etu
r
n
i
n
g c
o
nditionals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpen
t
e
r
math: introduce a new c
a
che o
f
recen
t
ly used constants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan
Carp
e
n
ter
math
:
h
a
n
d
le __builtin_c
o
nst
a
nt_p()
p
roperly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
D
a
n Carpenter
math: allocated some perman
e
nt r
a
nge lists
in rl
_
zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
cond
i
tions:
F
ix
p
ars
i
ng
f
o
o
= ({
.
.
.
l
a
bel: __ret; }
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-14
Dan
C
arpenter
f
u
nction_hooks: don
'
t be too am
b
itious faking pa
r
ameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
Dan Ca
r
penter
ra
n
ges/ptrlist
:
sol
v
e a leak
w
ith a big hack (second
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
D
a
n
Carpen
t
er
allocate: use unsigned long to record allocations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Ca
r
penter
deref
_
check: fix
a
s
m
a
l
l
lea
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan C
a
r
p
enter
hooks: introduce FUNCTION_CALL_HOOK_BEFORE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Ca
r
p
enter
u
ser_d
a
ta: reading
f
r
om an
a
rray doesn't
n
e
c
essarily
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Car
p
enter
implied: introduce im
p
ossible_assumption()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Car
p
ent
e
r
buf_
s
ize: do
n
't save u
n
neces
s
ary states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carp
e
nter
mtag: push
all my
c
hanges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
ranges: fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
debug: add __smatch
_
st
a
te_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Ca
r
penter
m
odification_
h
ooks: don't
s
a
ve
the ex
p
ress
i
ons outsid
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
var_
s
ym: tweak expr_
t
o_vsl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Car
p
ente
r
symbol
.
h: let i
s
_ptr
_
type() take NULL
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Da
n
Carpent
e
r
return_to_
p
aram
:
fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
D
a
n Carp
e
nt
e
r
struct_assig
n
ment/assig
n
ed_e
x
pression: save some mo
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan
C
a
r
p
enter
expressions: fr
e
e allo
c
ated expres
s
ion
s
after the en
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-05
D
a
n Carpenter
ros
e
nberg:
c
hec
k
the co
r
rect alignme
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-01
Dan Carpenter
Merge git://git
.
k
e
rnel
.
org/
p
ub/scm/devel/spars
e
/sparse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-27
Dan Carpenter
mtag:
fix
build error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-22
Dan Car
p
ente
r
help
e
r: fix segfault
parsin
g
inva
l
id code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Car
p
en
t
e
r
t
ype_v
a
l:
d
ev
_
ge
t
_drvdata(
)
doesn't set the
t
yp
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
an Carpenter
or_vs_and: w
h
it
e
space cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpente
r
cond
i
tions: pass SE
L
ECT_HOOK for sele
c
t assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
estate: white spa
c
e c
l
ean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Carp
e
nter
constraints:
a
llow binop constrai
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Carpenter
smatch_comparison:
f
ix a crashing bu
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Car
p
e
n
ter
c
h
eck_ke
r
nel: hand
l
e fls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
an Carpenter
extra
:
tight parameter
v
alues a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
extra: h
a
ndle "if
(foo &
0x1)
{"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
e
x
tra:
d
on'
t
set tru
e
/fa
l
se states
if it'
s
the same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
i
mpl
i
ed: use assume() even if
t
here a
r
e
n
o
impl
i
cations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Carpenter
ma
t
h: silence hard max fa
l
se posit
i
ve
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
s
li
s
t: d
o
n't pas
s
stuff t
o
pre_m
e
rge
_
hooks t
h
at i
s
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpent
e
r
mtag: kill an end
l
ess loop in up comin
g
cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Carpenter
call_math: initi
a
lize
some strin
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpe
n
t
e
r
fn_a
r
g_link: fix an end
l
ess loop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-20
Dan
Carpent
e
r
d
b: fix a se
g
f
aul
t
par
s
ing
i
nv
a
lid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-19
Dan Carp
e
n
t
er
comparison: improve handling of "if
(
f
o
o + 1
> limi
t
) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Da
n
Carpenter
db/comparison: Use ma
s
k
i
nformation t
o
g
et comparison
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carpent
e
r
compar
i
so
n
: hand
l
e _
_
smatc
h
_compare(fo
o
, ba
r
- 1)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carpente
r
extra: cleanup handle_AND_
o
p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Dan
C
arpenter
extra
:
cleanup handling "if (foo &
0
x1) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
Dan Ca
r
p
enter
us
e
r_data: silence some false p
o
sitives with divides
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
Dan Carpenter
user_data2:
silence s
o
me
fal
s
e
positives handling ntoh
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
Dan
Carpenter
conditions: hack around "if (foo |
bar) {" (bitwise OR)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-09
Dan Ca
r
penter
data/kernel
.
ign
o
re_macro_indenting: i
g
n
o
re t
c
p_
s
kb_tsorted_r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Ca
r
penter
db
/
smdb
.
py: chang
e
some format
t
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
db/smdb
.
py: fix the
PARAM_COMP
A
RE/LIMIT types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Ca
r
p
e
n
t
er
rosenb
e
rg: fi
x
a crashin
g
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan
C
arp
e
nter
user_
d
ata2: do
a
hac
k
around in th
e
p
re_merge_hook
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
constrai
n
ts: h
a
n
dle
c
onditio
n
s
like "if (8 < x) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
expr_to_chunk
_
helper: set *s
y
m when there is only on
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n Carpenter
s
list: allo
w
show_sm() to accept NULL pointer
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n Carpenter
flow: don't fak
e
an impossible
default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
t
ype_val: record fewer "unk
n
o
wn"
assignm
e
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
f
l
ow: set
l
oop_c
o
unt t
o
zero
when parsing inl
i
ne functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpente
r
core
:
s
ilenc
e
s
o
me fa
l
se positives
f
rom p
a
rsing invalid
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpenter
implied: use a time based timeout
i
nstead of counting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next