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
user_data: silence some sscanf() false positives
2018-06-13
Dan Ca
r
penter
u
s
er_data: silence so
m
e sscanf() false posit
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
user_data: introduce
i
s_user_
d
ata()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-13
Dan
C
arpenter
user_data: cleanup ge
t
_
u
s
er_
r
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carpe
n
ter
c
o
mparison: fix a NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan
C
arpente
r
comparison: f
i
x validation te
s
ts and
add
a n
e
w test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan
C
arpenter
extra
:
remove an unnee
d
ed
_
_
s
e
t_sm
(
) in d
b
_p
a
ram
_
l
im
i
t_f
i
lter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpen
t
er
helper: s
t
rip out the byte swaps in strip
_
expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
v
a
lidation
/
sm_
l
o
ck
i
ng3: fix
fun
c
t
i
o
n declaratio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
an
C
arp
e
nter
unknown_value: clea
r
the
->parent pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
ran
g
es:
i
mprove s
t
r
_
to_compariso
n
_a
r
g_helpe
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carpenter
comparison:
use sm
a
t
c
h_extra d
a
ta in
g
e
t_
c
ompar
i
son()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpe
n
ter
comparison
:
impr
o
ve handling of "i
f
(++j ==
l
imit)
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Car
p
enter
c
o
mparison
:
ha
n
dle j++ var s
y
m lists be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan
Carpenter
eq
u
iv: type and impli
c
a
t
ion
fix
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-30
Dan Carpenter
ranges:
f
i
x
== and != compari
s
ons
.
.
.
(0_0)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-25
Dan Carpenter
return_t
o
_param: fix pars
i
ng cal
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-23
Dan Ca
r
penter
valid
a
tion: update
t
e
s
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-15
Dan Carpent
e
r
db:
m
ake cal
l
_implie
s
rows uniqu
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
flow: rem
o
ve the call
_
split_exp
r
() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n Carpen
t
er
extra:
h
and
l
e c
o
m
p
aris
o
ns to ex
p
ression s
t
ateme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db/fill_db
_
caller_i
n
f
o
.
pl
:
don't per
m
a-ba
n
functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n
C
arpent
e
r
db/
f
ixup_kerne
l
.
s
h
:
commit all my stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
funct
i
on_ptrs: re
c
ord local point
e
r scope corre
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
real_absolute: don't save sing
l
e value assigns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Car
p
enter
sva
l
: f
i
x a
b
ug in sva
l
_too_low()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Carpent
e
r
db:
introduce db_ignore_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan C
a
r
penter
db/untracked_param: mark par
a
meter
s
untrack
e
d
if we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
arpenter
flow: don't parse inline functions whic
h
ar
e
n
'
t int
e
resting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-23
D
a
n Carpenter
db/constraints_requi
r
ed
.
schema: add missing
s
emi-c
o
lon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan
C
arpenter
flow/expressions/f
u
nction_hooks: re-fix is_assigned
_
call
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
D
a
n Carpenter
kernel: handle __re
a
d_once_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpe
n
ter
math: fix a get_value(
)
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-19
Dan Carpenter
expre
s
s
ions: make
assign_ex
p
ression() take a
n
o
p a
r
gument
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
D
a
n Ca
r
penter
spectre: warn about potential
s
pect
r
e vulnerabilities
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpente
r
expressions:
don't
s
e
t
the ->parent to a
f
a
ke
e
xpression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-17
Dan
C
arpenter
expressions
:
ju
s
t
a
llocate zero_expr() fresh every
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-16
Dan Carpe
n
ter
expression/smatc
h
_
expression
s
:
move expr_set/
g
et_parent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
D
an Car
p
enter
or_
v
s_and: tidy u
p
w
hitesp
a
ce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpente
r
or_vs_and: min_t(
)
u
s
es the new min
(
) co
d
e as we
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Dan Carpenter
c
h
eck_
o
r
_vs_and: ignore t
h
e kern
e
l's min/max
m
ac
r
os
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Dan C
a
r
p
enter
flow/
m
ath
:
han
d
le __builtin_choose_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
Dan Ca
r
pent
e
r
vali
d
ati
o
n/overflo
w
: change "wa
r
n:" to "erro
r
:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
Dan Car
p
enter
ab
o
ut
_
fn
_
ptr
_
a
rg: d
o
n't
g
e
t into a recursive loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan C
a
rpenter
he
l
per:
a
dd get_last_statement_from_expression_st
m
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
m
e
m_t
r
a
c
ker: add a --mem option to debug memory use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
ex
p
r
essions: r
e
move some unnecessary gotos
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
he
l
per: imp
r
ove i
s
_
e
r
r
o
r
_
r
eturn(
)
.
In the kernel a
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Car
p
enter
s
m
atch_data/smat
c
h
.
com
m
on_func
t
ions: add
s
ome
c
o
m
mon
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan
C
a
rpe
n
t
e
r
smatch_data/kernel
.
ignored
_
macr
o
s: add AA_BUG(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Da
n
Carpenter
s
ma
t
ch_data/kernel
.
ig
n
ore_unin
i
tialized param
s
: add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan
C
a
r
penter
smatch_data/
k
ernel
.
ig
n
o
r
e_s
i
de_effects
add
r
ecen
t
mac
r
os
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
comparison
:
handle expression statem
e
nt
s
bet
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
comparis
o
n: remove some debug
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
compar
i
son: introduce impossibly_hig
h
_com
p
a
r
ison()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-05
Dan Carpen
t
er
i
g
n
ore: fix && vs || typo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-29
Dan Carpenter
index
_
overflow: almost a
r
e
-
write
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
implied: improve handling of assignments in arguments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carp
e
nter
kernel_
p
rintf: d
o
n't warn about void pointer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpente
r
c
h
e
ak
_
le
a
k
s:
h
andle
r
eturn
i
ng
c
onditional
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
m
a
th: intr
o
d
u
ce a new c
a
che o
f
r
ecently used constants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
math: handle __bui
l
tin_
c
onstant_p() pr
o
perl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
D
an
C
arpenter
math: allocat
e
d
s
ome p
e
rmanent rang
e
l
ists in r
l
_
zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpen
t
er
con
d
itions: Fix par
s
ing foo = ({
.
.
.
label:
_
_re
t
; })
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-14
D
an
C
arpe
n
ter
function
_
hooks:
d
on't be too ambitious faking
p
arameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
D
an Carpen
t
er
ranges/ptrli
s
t: solve
a
le
a
k wit
h
a big hack (s
e
con
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carpenter
allocate:
u
s
e
unsign
e
d long to record allocations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
D
a
n Ca
r
penter
deref_
c
heck: fix
a s
m
a
ll le
a
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Da
n
Carpen
t
e
r
h
o
oks:
i
ntr
o
duce FUNC
T
I
ON_CALL_HOOK_BEFORE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Da
n
Car
p
ent
e
r
user_data
:
r
eading from an array does
n
't
n
e
c
e
ssar
i
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpen
t
e
r
i
mp
l
ied
:
introduce
im
p
os
s
ib
l
e_assu
m
ption()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
D
an Carpenter
b
u
f_size: don't save un
n
e
c
es
s
ary st
a
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
mtag: push all my
c
hanges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpen
t
er
ra
n
ges
:
fix a l
e
ak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Car
p
e
nte
r
deb
u
g:
a
dd __smatch_s
t
ate
_
count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan
Carpenter
modific
a
ti
o
n_hooks
:
don't save the expres
s
ions outside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Da
n
Carpenter
var_sym: t
w
eak expr_
t
o_vsl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
s
ymbol
.
h:
l
et is_ptr_type() t
a
ke NULL poin
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpe
n
ter
return_to_para
m
: fix a
c
rashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Car
p
enter
s
t
r
u
ct
_
as
s
ignmen
t
/assigned_expres
s
ion: save some more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan
Carp
e
nter
expressions: free all
o
cated expressions after the e
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
D
an Ca
r
pent
e
r
rosenb
e
rg: check the correct alignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-01
Dan Carpente
r
Merge
g
it://git
.
ker
n
el
.
or
g
/pub/scm/
d
evel/sparse/
s
parse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-27
Dan
Carpen
t
e
r
mtag: fix b
u
ild error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-22
Dan Carpente
r
hel
p
er: fix segfault parsing inval
i
d
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpe
n
ter
type_va
l
: dev_
g
et_drvdata() doesn
'
t set the
types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
or
_
vs_and: white space
c
leanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carp
e
nter
conditions: pa
s
s SE
L
ECT_HOOK for select as
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Carpenter
estate: white space cle
a
n
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Carp
e
n
ter
con
s
traints: allow binop cons
t
rain
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpent
e
r
s
m
at
c
h
_
com
p
arison:
f
ix a crashing bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Car
p
enter
check_kernel: ha
n
dl
e
fls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Carpenter
ex
t
ra: tigh
t
parame
t
er values a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
ext
r
a: handle
"
if
(foo
&
0x1) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carp
e
nte
r
extra: do
n
't set true/false
sta
t
es if it's the same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpe
n
ter
implied:
u
s
e assume(
)
eve
n
if there are no implica
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpen
t
er
math: sile
n
ce hard max fals
e
p
ositives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Carpenter
slist: don't pas
s
stuff to pre_merge_hooks
t
hat i
s
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
mtag: kill an endless loop in
u
p coming code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
rpe
n
t
er
call_math
:
initialize so
m
e st
r
ings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
C
a
r
p
enter
fn_
a
rg_link: fix an
e
ndless loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next