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
db: kernel: fake up ->read/write() limits
2013-04-18
Dan Ca
r
pent
e
r
db: kernel
:
fake up ->read/write() limi
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
db: store "too comm
o
n"
functions in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan C
a
rpent
e
r
param_cle
a
red: clear_buffe
r
:
add t
h
em to
t
h
e che
c
k_
l
ist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Ca
r
penter
extra: don
'
t use
t
he ind
i
rec
t
_modificati
o
n_hoo
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carp
e
n
ter
extra: make par
a
m_
f
ilter s
e
t_extra
_
mod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
rosenberg: re
m
ove pahole de
p
endenc
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan
Ca
r
penter
p
a
rse: add a big hack to tr
a
ck packed structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arpente
r
*new* smatc
h
_clea
r
_buffer
.
c: handl
e
me
m
set() type
f
un
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
param_limit
/
filter: ign
o
re wh
o
le rang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
a
r
p
enter
ranges: an em
p
ty
r
a
nge is
n
o
t a whole r
a
ng
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
extra: remov
e
s
ome dead c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
extr
a
: s
m
all fix for when the dat
a
base is disabled
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Car
p
e
n
ter
d
b:
alway
s
spli
t
the return values if we'
r
e not usi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
a
r
pent
e
r
c
o
nditio
n
s:
u
s
e set_extra_
e
xp
r
_
mo
d
() to
c
hange
e
xtra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
an
C
a
rpenter
user
_
data: c
o
mpat syscall para
m
eters are user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Carpenter
user_data: usin
g
a
us
e
r supplied offset into an know
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan C
a
rpen
t
e
r
locking: add
some more bh lock functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-12
Dan
Carpenter
Merge bran
c
h 'rfc-attribute-struct' of git://git
.
ke
r
n
el
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpe
n
t
er
check_deref: disabl
e
"potential N
U
L
L
d
e
reference" by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-10
Dan
Carpenter
lockin
g
: add lo
c
a
l
_
bh_di
s
a
ble/enable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-09
D
a
n
Ca
r
pen
t
er
locki
n
g:
h
andle
n
ull v
s
non
-
NULL returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
lo
c
kin
g
: update vali
d
ation/ tests to
t
h
e new warning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
er
function_ptrs: "(*
p
trs[0])(a, b)" is t
h
e same as "ptrs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
e
n
ter
functio
n
_ptrs
:
r
ecord whe
n
function poi
n
ter is saved
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
ar
p
enter
rosenberg
:
remove s
o
me struct
s
which
d
o
n
't have holes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n
Carpen
t
e
r
r
o
s
enbe
r
g: check
f
or
n
la
_
put i
n
f
o leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpe
n
t
e
r
flow: fake member and e
l
ement assignm
e
nts be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
expressions: intro
d
uce arr
a
y_element_expr
e
ssion()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
arpe
n
ter
locking
:
take ret
u
r
n
s values in
t
o consideration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Car
p
enter
check_kernel:
l
oo
k
har
d
er
f
or the c
o
ntainer_
o
f() macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Carpenter
i
m
p
lied: db:
fix how returns
are
broken a
p
art
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
db: return_id was set
i
n
correct
l
y wh
e
n inline fun
c
tio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
db: fix how
t
he ret
u
rn values
a
re cas
t
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-04
D
an Carpenter
helper:
m
ake is_array()
a
ccept NU
L
L po
i
nters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
an Carpenter
d
b
:
f
unction_ptrs: d
o
better at function
ptr t
o
f
u
n
c
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
an Ca
r
pe
n
ter
f
l
ow: create fake ass
i
g
n
ments for array declarations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
flow
:
expressions:
don't try updating to
uninitiali
z
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Ca
r
pent
e
r
db: fixup_kernel
.
sh: (struct
mI
S
DNch
a
nn
e
l
)->
s
end infor
m
a
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpent
e
r
db:
fixup_kernel
.
s
h:
r
ecord
w
her
e
->n
o
tifi
e
r_c
a
ll
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Ca
r
penter
f
l
o
w: han
d
le inlines better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Car
p
ent
e
r
db:
function_ptrs: track po
i
nter to poin
t
er assignmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
math: silence some bu
f
fer overflow
f
a
lse positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan
Carp
e
n
ter
db: fixup
_
kernel
.
s
h
: igno
r
e (
s
truct ti
m
er_list)->function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-01
S
z
ymon Janc
extra: F
i
x
s
egmentation f
a
ult i
n
matc
h
_assign
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
db: look u
p
a
l
l
the
f
u
nction poin
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
helper
:
allo
w
g
e
t_
p
ara
m
_num_from_sym() to be us
e
d i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
string_list: introduce list_has
_
s
tri
n
g()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
smatch_
s
tri
n
g_list
.
c
: sep
a
rate string_
l
i
s
t functi
o
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rp
e
nter
db: on
l
y
l
ookup functio
n
pointer
s
onc
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
ente
r
ann
o
tate: use it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
helpe
r
: ignore parens in e
x
p
r
_to_var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpente
r
o
v
e
r
flow:
silence kernel false
positive about __per_cpu_offs
e
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
kernel: r
e
cover
module_init/exit() funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
flow: pass
the
sym_list to the END_FILE
_
HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carp
e
nt
e
r
db: fixup_kernel
.
sh remove some more USER_DATA tags
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpente
r
db:
speedup fill_db_caller_info
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carp
e
nter
extra: improve +=
a
n
d -= hand
l
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sval: i
n
tr
o
duce sval_is_
n
ega
t
ive
_
min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpente
r
s
v
al: fix s
v
al_binop_overflows() to ac
c
e
p
t
dif
f
erent
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
introduce smat
c
h
_
ann
o
tate
.
c:
an
n
otate so
m
e common functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: give up if there are over 1000 retu
r
ned state
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
d
b: fi
x
slow down caused b
y
recursive function c
a
lls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
buf_size: false positive from lar
g
e
"
i
mplied" i
m
pl
i
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
h
elper:
f
ix ex
p
r_t
o
_str() f
o
r
f
unction c
a
lls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
D
an Carpenter
db: re
m
ove more user data f
r
o
m start_xmit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan
C
arpenter
db:
m
an
u
ally dele
t
e
some USER_DATA m
a
rkers from
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-18
Dan Carpenter
extr
a
: m
o
ve v
a
nilla a
s
signs
i
nto
their
ow
n
fun
c
tio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
r
an
g
es: in c
a
st_rl(
)
s
ometime
s
it
'
s better to just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
an Carpenter
extr
a
:
type
bug handling asm expres
s
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carp
e
nter
db: f
i
x b
u
g
h
a
n
dling
':' chara
c
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
math:
U
se function call information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpen
t
er
flow: handle P
O
S
T
_OP
s
co
r
rect
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Carpen
t
er
buf_size: handle dma_alloc_att
r
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
ex
t
r
a: type bug handli
n
g
for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
an Ca
r
pe
n
ter
math: fix a
c
oup
l
e
type bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpe
n
t
e
r
locking: fi
x
bu
i
ld problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n C
a
rpente
r
user
_
data: the point
e
r retur
n
ed f
r
om cont
a
iner_of(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpente
r
db: upd
a
te a de
b
ug message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Da
n
Carp
e
nter
db: change the file searched for
stati
c
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
D
an Carpenter
flow: fix a
debug statement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpent
e
r
flow: save and restore the big_
e
xpr
e
ssion_stack when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpent
e
r
con
d
itions:
f
ix small signedness bug in compares
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
l
o
cking: ignore pare
n
thesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
rpenter
st
a
ck: turn of
f
by default, and less
s
pammy always
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
rpe
n
ter
sign
e
d: don'
t
w
a
rn
a
bout
a
ssi
g
nment
s
to boole
a
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
an Carpenter
local_values
:
n
ot all the s
e
t
v
a
l
ues make
i
t to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n
Carpenter
s
izeof_param: ignore s
t
r
ncat(a, b, s
i
zeof(b));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
kernel: handle __f
t
race_bad_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpent
e
r
kernel: handle find_next_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
db_
i
nf
o
:
save return values in
in
-
memory
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan
C
arpenter
check_kernel
:
preserve ERR_P
T
R va
l
ues
p
ass
e
d to
IS_ERR
_
OR_NULL()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
c
h
eck
_
kernel: rename nonnull to valid_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Da
n
Ca
r
penter
Revert
"ker
n
e
l
:
r
emov
e
some unneeded c
o
de
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Ca
r
penter
sizeof_para
m
:
f
ix
f
al
s
e
p
osit
i
ves with strl
c
py
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-07
Dan Carpenter
co
m
pare
:
h
andle some assignmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
e
x
tra: shuffle match_a
s
sign a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpenter
extra: on
l
y get the
t
y
p
es on
e
time
i
n
mat
c
h_assign
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpente
r
func
t
ion_ptr: move get_fnptr_name()
to smatch_funct
i
on_ptr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
rpenter
db:
fixup_kernel
.
sh: di
s
card caller_info from ->notifier_call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
arpenter
d
b
: fixup_
k
ernel
.
sh: only track the main read/w
r
ite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next