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
smatch_scripts/gen_no_return_funcs: fix this for other projects
2016-07-01
Dan C
a
rpente
r
smatch_scripts/gen_n
o
_return_fu
n
c
s: fi
x
this for other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Da
n
C
arpenter
pre-p
r
oce
s
s: make -nostdin
c
wo
r
k
again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan C
a
rpenter
che
c
k
_
wine: ma
k
e repo
r
t
(
R_FATAL,
.
.
.
) a nullify the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n Carpenter
validat
i
on/sm_WtoA: add single q
u
ote
s
i
n ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
s
match_scripts: update the gen_* sc
r
i
p
t
s
to
t
ake a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n Carpenter
pars
e
: ig
n
or
e
_Pragma()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carp
e
nter
smatch_
d
ata
/
wine
.
ignored_macros
:
add ok()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
an Car
p
enter
sma
t
c
h
_data/wi
n
e
.
no_return_funcs: update the li
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpe
n
ter
s
parse: add /u
s
r/inc
l
u
de
/
x86_64-linux
-
gnu/
i
nclude
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan
Carpenter
wine_Wto
A
: add si
n
gled quotes in the output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-25
Dan
C
arpenter
d
b: remov
e
PRAGMA synchro
n
ous = OFF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
D
an
C
a
r
pent
e
r
avl: make get_stree_id() retu
r
n -1
i
f the
s
t
ree p
o
inter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Ca
r
pente
r
i
m
plied:
h
a
n
dle ->
i
mplied state
s
di
f
fere
n
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
slist, implied: pre
s
erve
the entire cur_s
t
ree in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
implied: fi
x
a bug where
we i
m
ply the wr
o
n
g
thing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan
Car
p
ent
e
r
implied:
remove an indent leve
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
implied: c
h
ange debug
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-17
Dan C
a
rpenter
extra: ignore trunca
t
ed limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
D
a
n Carpenter
flo
w
:
handle
a
sm
g
otos
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Da
n
Carpente
r
db:
split on boolea
n
p
ar
a
meter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
st
r
u
ct_assignment: handle poin
t
ers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Da
n
Carp
e
nter
fu
n
ctio
n
_ho
o
ks: hack aroun
d
invalid input f
r
om the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan C
a
rpe
n
t
e
r
function_hooks
:
fix th
e
previous
range hooks
f
ix aga
i
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan
C
ar
p
enter
flow: set ->
p
are
n
t for
e
xpression s
t
atements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan
Carpenter
helper, un
t
racked_
p
aram: move the int_stack t
o
s
m
a
t
c
h_h
e
lp
e
r
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
ranges:
f
ix casting to bo
o
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Da
n
Car
p
enter
flow: set posi
t
ion
at the
start of t
h
e
f
un
c
tion correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpente
r
func
t
ion_h
o
oks: fix a typo in debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpent
e
r
im
p
l
ied: tweak t
i
meou
t
in
s
eparate_and_filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carp
e
nter
function_hooks: fix a type iss
u
e (affects ranged function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpen
t
e
r
functi
o
n
_
hooks: fix db and ra
n
ged_functi
o
ns integratio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Da
n
Ca
r
penter
db/
k
erne
l
.
return
_
f
i
xes: h
a
ck
around down_inter
r
uptible()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
d
b
/kernel
.
retu
r
n_fixes: add
s
cnprintf()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan
Carpe
n
ter
function_hooks: fix locking f
a
ls
e
po
s
itives when yo
u
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
D
a
n Ca
r
penter
extra:
fi
x
memset
(
) handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Car
p
ente
r
implied: delete
unused funct
i
on
s
m_st
a
t
e_in_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan
Carpen
t
er
ptrl
i
st: use after free in last_ptr_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpente
r
flow: t
y
pe iss
u
e handling switc
h
statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
D
a
n
Carpenter
ranges: f
i
x type issue in
r
emove_
r
ange()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan C
a
r
penter
conditions: silence valg
r
ind warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-06
Dan Carp
e
nter
flow:
s
et fin
a
l_pas
s
if
we have
to bail on a
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carp
e
nter
e
x
t
ra:
e
xpo
r
t get_other_name_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
impossib
l
e: add is_impossible
_
p
ath() to sm
a
tch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpe
n
ter
db: don't c
r
ash generatin
g
SQL for
i
nv
a
lid
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Da
n
Carpenter
e
x
t
r
a: fix bug handling unt
r
acked pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
s
t
ruct_assignmen
t
:
ignore
cer
t
ain
types of assignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
arpenter
extr
a
: deferences in fake assignments don't count
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan C
a
rpenter
e
x
t
ra: hand
l
e
f
ake assignments f
a
s
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan
C
ar
p
ent
e
r
implied
:
improve overwrite_states_using_poo
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan Ca
r
pente
r
implied:
a
dd a c
o
m
m
ent
expl
a
ining how implica
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Da
n
Carpenter
f
unction_hooks: ch
e
c
k
P
ARAM_LIMIT implication
s
all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-31
Dan Carpe
n
ter
function_hoo
k
s: integrate call_impli
e
s
hooks
with the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Carpen
t
e
r
s
list:
m
angle the l
i
ne number of merged states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
an Carpenter
s
izeo
f
_p
a
ra
m
:
r
e
m
ove read_
r
om() from checked fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carp
e
nter
create
_
db
:
delete
s
o
me duplicate entrees from function_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
C
a
r
penter
real_absol
u
te: don't store whole ran
g
es for no
reason
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n
Carpen
t
er
struct_
a
ss
i
g
n
men
t
:
p
ull split_fak
e
_ex
p
r() into its
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n
C
arpenter
d
b
:
limit the amo
u
nt of data in type_value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rpenter
extra:
h
an
d
le if (IS_ERR(foo[bar])) {
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
a
r
p
enter
db:
introduce get_param_name_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
p
e
nter
implied: handle chunks in switc
h
stateme
n
t
s like switch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Carp
e
nter
ex
t
ra: don't mark
a
ll
arrays as d
e
r
e
ferenced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpe
n
t
e
r
helper: create an alloc_state_expr() help
e
r
f
unc
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
p
e
nter
whitesp
a
ce: remove some bl
a
nk lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan C
a
r
p
ent
e
r
extra: r
e
move unu
s
ed function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
l
o
cking: a
d
d more impossible hand
l
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n
Carp
e
nter
d
b
: remove some
extra semi-colons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Car
p
enter
range
s
: rem
o
ve a
n
unneeded
initializer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
re
t
urns: provide a split out
list of all the
r
etu
r
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carp
e
nter
retur
n
s
:
add get_a
l
l_
r
eturns_states()
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
an Carpe
n
ter
move
f
reeing to AFTER_FUNC_H
O
OK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpen
t
e
r
db
:
con
s
tify some p
o
inters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Carpenter
e
xtra: add
missing in
c
lud
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
extra: don't
o
v
erwrite non-null poin
t
ers
b
eca
u
se
of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
extra:
f
i
x handling
of "if
(
foo & 0x3210)
{
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-04
D
a
n Carpenter
p
a
ram_set:
introduce
p
aram_wa
s
_set_var_sym
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan C
a
rpenter
impossible: handle switch statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan
C
a
r
p
e
nter
impossible:
d
on'
t
overwrite the impossible state by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
D
an C
a
rpen
t
er
i
m
plied: ha
n
d
l
e implications for if (({whatever
;
foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-26
Dan Ca
r
penter
slist: creat
e
is_l
e
af() function w
h
i
c
h is th
e
o
p
po
s
ite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-25
Dan Car
p
e
n
ter
ranges:
u
se signed t
y
pe for negat
i
v
e ints le
s
s
t
h
a
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
D
a
n Carpente
r
db/
k
e
r
nel
.
r
eturn_
f
ixes regmap_b
u
lk_re
a
d() returns
negatives
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpente
r
ranges
:
fix a b
u
g in
rl_
i
nvert(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
D
an Carpenter
sval,
t
y
p
e
:
make some
functions
i
nlin
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
impl
i
ed:
fi
x
an old
implicat
i
on bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan
Carpenter
implied: remove unuse
d
add_pool() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
implied: pass sm
_
states inst
e
a
d
of pools
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan
C
arpenter
implied: fi
x
a type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan C
a
rp
e
nter
i
m
plied:
update s
o
me debug
o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpent
e
r
implied: crea
t
e
f
ake impl
i
cation history
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
D
a
n Carp
e
nter
states: tweak debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
sta
t
es: print debug output in __set_true_false_
s
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Da
n
Carpenter
imp
l
ied: over
w
ri
t
e smatch_e
x
tra
usi
n
g implied states
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
ranges, ex
t
r
a: mo
v
e and
e
x
port split_com
p
arison_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Car
p
e
nter
slist:
remove un
u
sed __se
t
_true_false_if_not_alre
a
dy_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n
Carpenter
d
b
: mak
e
a file kernel
.
r
e
turn_fi
x
es for up
d
ati
n
g
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpente
r
flow:
merge multiple cas
e
statemen
t
s in a row together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpente
r
helper: use
.
i
nstead
of -> for more variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n
C
arpenter
param_set:
r
e
m
ove an unnne
e
ded vari
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Car
p
enter
extra: p
+
+ should
c
lea
r
the states for
*p o
r
p
->fo
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next