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
pre-process: make -nostdinc work again
2016-07-01
Dan
Carpenter
pr
e
-process: mak
e
-nostdin
c
work again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpent
e
r
check_wine: make
r
e
p
o
rt(R_FATA
L
,
.
.
.
) a
n
ul
l
ify th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
D
an C
a
r
penter
v
alida
t
ion/sm_W
t
oA: add si
n
gle quotes in o
u
t
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpe
n
ter
smatch_scrip
t
s:
u
pdate the gen_* scripts to
t
ake a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
parse: ign
o
r
e
_P
r
agma()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
smatch_data
/
wine
.
ignored_macros: add ok()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
smat
c
h_d
a
ta/win
e
.
no_return_funcs: update the list
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
sp
a
rse: add /usr
/
include/x
8
6
_
64-linux
-
gnu/ include
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpe
n
ter
w
i
ne_
W
t
o
A
:
a
dd sing
l
ed quotes in the outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-25
D
an Ca
r
p
e
nter
db: remo
v
e PRAGMA synchronous
=
OFF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan
C
arp
e
nter
avl: make g
e
t_s
t
ree_id() return -1
if
t
he str
e
e
p
ointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
im
p
l
i
e
d: handle ->impli
e
d states differently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
slist
,
implied: preserv
e
the enti
r
e cur_str
e
e in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Da
n
Carpenter
implied:
f
i
x a bug w
h
ere we imply the wron
g
thi
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpe
n
t
er
impli
e
d: remove an indent level
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
i
mplied: change
d
e
bug
outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-17
D
a
n
Car
p
enter
extra: i
g
nore truncated
l
im
i
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
f
l
ow: han
d
le
a
sm gotos
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Ca
r
penter
db: sp
l
it on bo
o
le
a
n paramete
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpen
t
er
struct_assignment: handle p
o
int
e
r
s bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
function_hooks: hack aroun
d
invalid input from
the
D
B
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan
C
arpenter
f
unction
_
hooks: fix the
p
revious range
h
ooks fix aga
i
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan
C
a
r
penter
flow: set -
>
parent
f
or expression stat
e
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan C
a
rpenter
helper, unt
r
acked_pa
r
am: m
o
v
e
th
e
i
n
t_stack to
sm
a
tch_helper
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
rang
e
s:
f
ix
c
asting to
bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan
C
arpenter
flow: set posit
i
on at
t
h
e start of the function
correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
functio
n
_hook
s
: fi
x
a typo in debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n
Carpe
n
t
er
i
mplied:
tweak timeout in
s
ep
a
rat
e
_and_filter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
function_hooks
:
fix a type issue (affects ranged
f
unction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan
C
ar
p
e
nter
function_hooks: fix
d
b and ranged_functions in
t
e
g
ration
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpen
t
er
db/k
e
rnel
.
re
t
urn
_
fixes: hack around down_interr
u
p
tible()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
db/kernel
.
return
_
fixes: add
s
c
n
printf()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan
C
arpente
r
function_hooks
:
fix
locking
f
a
lse positives when y
o
u
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
D
an Carpenter
extra
:
fix memset
(
) handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
implied:
d
e
l
ete u
n
u
sed funct
i
o
n sm
_
s
tate_in_sl
i
st()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
ptrlist
:
use after free in last_p
t
r_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Ca
r
pe
n
ter
flow: type
issue h
a
nd
l
ing switch statemen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan C
a
rpenter
ranges: fix type i
s
sue in remo
v
e_
r
ange()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
D
a
n Carpenter
co
n
d
itions: sile
n
ce valgri
n
d
w
a
rning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-06
D
an C
a
rpe
n
ter
flow: set final
_
pass i
f
we have to bail on a function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
arpe
n
te
r
extra: exp
o
rt get_ot
h
er_name_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
arpen
t
e
r
impossib
l
e: add is_i
m
possible_path() to
s
m
a
tch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan C
a
rpenter
db: d
o
n't crash gen
e
rating SQL for
i
nvalid
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpente
r
extra
:
fix b
u
g hand
l
ing untracked pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Ca
r
p
enter
struct_assignment:
i
gnore certain
types
of
assig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
e
xtra: deference
s
in f
a
ke as
s
ignment
s
d
on
'
t count
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpe
n
ter
extra: handle fake assignments
f
a
s
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
D
an Carpenter
implied: im
p
rove ov
e
rwrite_states_using_pool()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan
Carpenter
implie
d
:
a
dd a comment ex
p
laining how implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
functio
n
_hooks:
check PARAM_LIMIT im
p
lica
t
ions all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-31
Dan Carpen
t
er
funct
i
on_hooks: integrate ca
l
l_implies hooks with the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Car
p
e
n
ter
s
l
ist:
m
angle the line
number of merged
states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpe
n
ter
sizeof
_
param: r
e
mov
e
read_rom() from checked functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
penter
create_db:
d
elete
s
o
m
e duplicate
e
n
trees fro
m
fu
n
ction_ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpe
n
ter
real_absolute: don't
s
t
o
r
e
whole ranges for n
o
reason
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rpenter
struct_assignme
n
t: p
u
ll spli
t
_
f
ake_expr() in
t
o its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
d
b: limit the amount of data
i
n t
y
p
e_value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
extra: handle if (IS_ERR(fo
o
[ba
r
])) {
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
an C
a
r
p
enter
db: intr
o
d
u
ce get_param_name_var
_
sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n
Ca
r
p
enter
implied: handl
e
chunks
i
n switch stat
e
ments like switch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpenter
extra: d
o
n
'
t mark all a
r
rays as dereferenc
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n
Carpenter
helper: create
a
n
alloc_state_expr()
h
e
lper function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
whitesp
a
ce: remo
v
e
some
blank li
n
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
p
e
nter
extra: remove unuse
d
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
locking:
a
d
d m
o
re
i
m
possible
h
andling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpente
r
d
b
: re
m
ove some e
x
t
r
a
semi-col
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
pe
n
ter
ran
g
es: remove an unneede
d
initializer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
penter
returns: prov
i
de a split
o
ut list
of all the return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Carp
e
n
t
e
r
returns:
a
dd
g
et_
a
l
l
_retu
r
ns_state
s
(
)
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
move f
r
e
eing to
AFTER_FUNC_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Carpente
r
db: c
o
nstify some pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carp
e
n
t
er
extra
:
add missing includ
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
extra
:
don
'
t
o
verwr
i
te non-null point
e
rs because of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
p
e
nter
extra: fix
handling of "if (f
o
o & 0x3210)
{"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-04
Dan Carpenter
p
a
r
am_set: introduce
param_was_s
e
t_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
D
a
n Ca
r
penter
i
mpossible: handle sw
i
tch sta
t
eme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
impossib
l
e: don't overwrite the impossible s
t
ate by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Da
n
Carpenter
i
m
plied: handle implications for if (({whate
v
er; foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-26
Da
n
Carpenter
slist: create is_leaf() function
w
hich
is the oppos
i
te
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-25
Da
n
Ca
r
penter
r
anges:
u
se s
i
g
n
ed
t
ype for negative ints less t
h
an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpenter
db/kerne
l
.
return_fixes regmap_bulk_read
(
) retur
n
s n
e
gatives
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Da
n
C
arpenter
ranges:
fix
a bug in r
l
_invert()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpe
n
ter
sval, type
:
make some fu
n
ctions inline
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
implied:
f
ix an old implicatio
n
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan
Carpente
r
implied: remove un
u
sed add
_
pool() func
t
io
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
implie
d
: pass sm_states in
s
t
e
ad of p
o
ols
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
D
a
n
Carpenter
i
m
plied:
fix a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Ca
r
pent
e
r
im
p
lied: update some debu
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan
C
arpenter
implied: create
f
ake implicat
i
on history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
D
an
C
ar
p
enter
states: t
w
eak de
b
u
g
out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Ca
r
penter
states
:
print debug out
p
ut in __set_tr
u
e
_
fal
s
e_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
implied: overwrit
e
s
match_ext
r
a usin
g
implied sta
t
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
ran
g
es, extra: move
a
n
d
ex
p
o
rt split_comparison_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
a
r
penter
sli
s
t: remove unu
s
ed __set_true_fals
e
_
if_not_already_set
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Car
p
enter
db:
make a file kernel
.
retu
r
n_
f
ixes for
u
p
d
a
ting retur
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
arpe
n
te
r
flow: merge mul
t
iple
c
ase statem
e
nt
s
i
n
a
row
together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan C
a
rpenter
h
elper: us
e
.
instead
of -
>
for more variab
l
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
pa
r
am_set: r
e
move an unnneeded variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
an Carpenter
extra: p++ should cle
a
r
t
he states for
*
p or p->foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpen
t
e
r
mat
h
: han
d
le __builtin_ty
p
es_compatible_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next