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
comparison: load struct member info into the caller_info table
2016-07-15
Dan Carpenter
compa
r
is
o
n: loa
d
struc
t
member i
n
f
o
i
n
to th
e
caller_info
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan
C
arpenter
comparison: load the correct comp
a
riso
n
inform
a
ti
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carpenter
flow:
d
o
n
't call scope hooks until after the END_FUNC_HO
O
Ks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Da
n
Carpent
e
r
modifi
c
ation
_
hooks: g
o
ing ou
t
o
f scope is not a modi
f
ication
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Dan Car
p
enter
d
b/fixup_ke
r
nel
.
sh: update get_u
s
er_pages() to
m
a
t
c
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpent
e
r
function_hooks: pul
l
is_impossib
l
e_data(
)
into
i
ts
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpent
e
r
comparison: clean
u
p handle_co
m
paris
o
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
Dan Ca
r
penter
comp
a
rison: export some functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-09
D
an Carpent
e
r
states
:
nullify_path() should do free
t
he
fak
e
_cur_
s
tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
D
a
n C
a
rpenter
db: h
a
ndle
c
omparison
s
that we know are true bet
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan
C
arp
e
nter
db: mark s
o
me true false paths impossible based
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan
Ca
r
penter
r
a
n
g
es, db: if we can't
filter by com
p
aris
o
n then use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpen
t
er
d
b: hand
l
e
n
ested calls better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-04
D
an Carpenter
e
x
tra:
r
e-
w
rite han
d
le_AND_condition(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Da
n
Carpenter
impli
e
d: handle impossible paths
from complicated sw
i
tch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
implie
d
:
g
et rid o
f
the -
>
impl
i
ed member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
D
a
n Carpenter
implied: get rid of a temporary va
r
iable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpente
r
smatch_data/win
e
.
no_
r
eturn_f
u
n
c
s: add more funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan
C
arpenter
smatch_scrip
t
s/ge
n
_no_re
t
urn_f
u
ncs: fix this for oth
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Ca
r
pen
t
er
pre-process:
make -nostdinc wo
r
k again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan
C
a
r
penter
ch
e
c
k_wine:
m
ake re
p
ort(
R
_FATAL,
.
.
.
) a nullify the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpen
t
er
valida
t
ion/sm_
W
t
oA: add
single q
u
otes
in output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
an Car
p
enter
smatch_scripts
:
upd
a
te
the gen
_
*
s
crip
t
s
to take
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpe
n
ter
p
a
r
se: ignore _Prag
m
a()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan C
a
rpen
t
er
s
match_data/wi
n
e
.
ignored_ma
c
ros: add ok
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
s
match_data/w
i
ne
.
no_return_funcs: update
t
he li
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
spars
e
: a
d
d /
u
sr/include/x86_64-li
n
u
x
-gn
u
/ include
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
w
i
ne_WtoA: add singl
e
d quotes in the output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-25
Dan Carp
e
nte
r
d
b
: remove PRAGMA synch
r
o
n
ous = OFF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Car
p
ent
e
r
avl: make
g
et_st
r
e
e_id() r
e
turn -1 if the stree p
o
inter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
D
an
Ca
r
p
e
n
ter
implied: handle ->implied states
d
i
fferently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
slist, implied:
p
rese
r
ve the
e
nti
r
e cur
_
st
r
ee in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
D
a
n Carp
e
nt
e
r
imp
l
ied
:
fix a bug
whe
r
e
we imply the
wrong th
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
D
a
n
Carpenter
impl
i
ed: remove an i
n
dent l
e
vel
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Da
n
Carpenter
im
p
lied: change de
b
ug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-17
Dan Carpent
e
r
extra: ignore t
r
uncated limi
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
fl
o
w
:
handle a
s
m
g
otos
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan
C
ar
p
enter
d
b
: sp
l
it o
n
boolean
parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Car
p
enter
struct
_
a
s
signm
e
nt:
han
d
le pointer
s
bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
function_hooks: hack a
r
ou
n
d invalid input fro
m
t
he
DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
D
an Carpen
t
er
fu
n
c
t
ion_hooks
:
fix the previous range hooks
fix ag
a
in
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Da
n
Carpenter
flow: se
t
-
>p
a
rent for expression sta
t
eme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan
C
arpenter
helper, untrack
e
d_param: move th
e
int_stac
k
to sma
t
ch_helper
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
ranges:
f
ix c
a
s
t
in
g
t
o
b
ool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan C
a
rpenter
flow: set posi
t
ion at th
e
s
tart of t
h
e function c
o
rr
e
ctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
fu
n
ct
i
on_hooks: fix
a
t
y
po in debug o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
implied: tweak timeo
u
t in
s
eparat
e
_and_filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpe
n
ter
fun
c
tio
n
_
hooks: fix a
t
ype is
s
ue (affects ra
n
ged function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpen
t
er
f
u
nc
t
ion_hooks:
f
ix
db an
d
ran
g
ed_
f
unctions integration
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Car
p
en
t
er
db/
k
ernel
.
r
eturn_fix
e
s:
h
a
ck around
d
own_in
t
erruptible()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
D
a
n Carp
e
nter
db/ke
r
nel
.
re
t
urn_fixes: add sc
n
prin
t
f
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
D
an
C
arpenter
function_
h
ooks: fix l
o
cking false p
o
sitives when you
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
D
a
n
C
arpente
r
extra: fix m
e
mset() handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan
C
arpenter
implied: de
l
ete unu
s
ed function
sm_state_in
_
sli
s
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan
C
arpenter
ptrlist: use after free in
la
s
t
_ptr_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carp
e
nter
flow: ty
p
e issue handli
n
g switch state
m
ent
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
D
an Ca
r
penter
ran
g
e
s
: fix type issue
i
n r
e
move_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
co
n
ditions: silence val
g
rind
warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-06
Dan Carpenter
flow: set final_pass if we
h
ave to bai
l
on a fu
n
cti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
D
a
n Car
p
enter
e
xtra: export get_o
t
her_name_sym
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
imp
o
ssible: add i
s
_im
p
ossi
b
le_pat
h
() t
o
smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
D
an
C
arpenter
db: do
n
'
t
crash generating SQL f
o
r inva
l
id code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
D
a
n
Ca
r
penter
e
x
tr
a
:
fix bug handl
i
ng untracked poin
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Ca
r
penter
struct_assignment: ignore certain types o
f
as
s
ign
m
ent
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpent
e
r
extra
:
deferences i
n
f
ake a
s
signments do
n
't cou
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan
Car
p
enter
extra: handle
f
ake assi
g
nments faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
D
a
n
C
arpenter
implied: im
p
r
o
ve over
w
rite_state
s
_usi
n
g_pool()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
D
an Ca
r
pent
e
r
implied: add a comment explaining
how implications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
f
unction_hoo
k
s: ch
e
ck
PAR
A
M_LIMIT
implication
s
all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-31
D
a
n Carpent
e
r
function_hooks: integra
t
e ca
l
l
_
implies h
o
o
k
s
with
t
h
e
db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
slist: mangle the lin
e
number of merged s
t
ates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpenter
sizeof_param: remove rea
d
_rom() from c
h
ecked functi
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
c
r
eate_db: delete some duplicate entrees from function_p
t
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
real_a
b
solute: don't store
whole r
a
nges for no reason
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Ca
r
penter
stru
c
t_assi
g
nme
n
t: pull split_fake_expr()
i
nt
o
its
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
db: limit
the amount of
data in type_value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpen
t
er
extra: handle
if (IS_ERR(
f
oo[bar]
)
)
{
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpenter
db: introduc
e
get_p
a
ram_
n
ame_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
an
C
arpenter
implied:
h
andle chunks in swi
t
ch statements like swi
t
ch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
extra:
don't
m
ark all arr
a
ys as dereference
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
helper: create
a
n
allo
c
_state_expr() helper function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carp
e
n
t
er
whitesp
a
ce: remove
some
b
lank lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
an Carpenter
e
x
tra: remove unused function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n C
a
rpenter
l
ocking: add more im
p
ossib
l
e h
a
ndli
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpen
t
e
r
db:
remov
e
so
m
e
extra semi-colons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Car
p
enter
r
a
ng
e
s
:
remove an unnee
d
ed initializer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carp
e
n
t
e
r
returns: p
r
ovide
a
split out list o
f
all the return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan C
a
rpenter
r
eturns:
a
dd get_all_returns_states() func
t
io
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
move fre
e
ing to
AFTER_FUNC_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carp
e
nte
r
db: con
s
tify some pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
C
arpenter
extra: add mi
s
s
i
ng incl
u
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Carpenter
extra: don't
o
ve
r
write non-nul
l
p
ointers because of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan C
a
rpenter
ex
t
r
a: fix hand
l
ing
of "if (foo
&
0x3210) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-04
Dan Carpenter
p
aram_set: i
n
troduce param_wa
s
_set
_
var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
impossible: handle sw
i
tch state
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpen
t
er
impossible: don
'
t overw
r
ite the impossibl
e
state by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
D
an Carpenter
impli
e
d:
h
an
d
le implications for if
(({
w
hatever; foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-26
Dan
Carpente
r
slist: c
r
eate is_leaf() func
t
io
n
w
hich is
t
he opposite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-25
Dan Car
p
ente
r
ranges: use signed typ
e
for negative ints less than
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan
C
arpen
t
er
db/kernel
.
return_fixes regma
p
_bul
k
_
rea
d
(
)
retu
r
ns negat
i
ves
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next